Art

J-GLOBAL ID：201702223022548370   Reference number：17A0656187

Rubyに対するGradual typingの導入に向けて

Author (3)： TANJI MASAKI (電通大 大学院情報理工学研究科) ,  NAKANO KEISUKE (電通大 大学院情報理工学研究科) ,  IWASAKI HIDEYA (電通大 大学院情報理工学研究科)
Material： 情報処理学会プログラミング・シンポジウム予稿集  (プログラミング・シンポジウム予稿集)
Volume： 58th  Page： 151-164  Publication year： Jan. 06, 2017 
JST Material Number： G0897A  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *object-oriented language ,  data type ,  dynamic characteristic ,  debugging ,  flexibility ,  rule ,  *program test ,  *type theory ,  *Ruby language
Semi thesaurus term： Gradual typing ,  *Ruby ,  *type checking ,  型付け規則

JST classification (3)： General-purpose programming language  (JD03051H) ,  Theory of computation  (JB02000A) ,  Computer system development  (JD02010R)

Terms in the title (1)： Ruby