多相レコード型に基づくRubyプログラムの型推論

• 資料種別: 記事
• タイトル: 多相レコード型に基づくRubyプログラムの型推論
• 著者・編者: 松本 宗太郎; 南出 靖彦
• 著者標目: 松本 宗太郎; 南出 靖彦
• 並列タイトル等: Type inference for ruby programs based on polymorphic record types
• タイトル（掲載誌）: 情報処理学会論文誌. SIG
• 巻号年月日等（掲載誌）: 49(3) 2008.3
• 掲載巻: 49
• 掲載号: 3
• 掲載ページ: 39～54
• 掲載年月日（W3CDTF）: 2008-03
• ISSN（掲載誌）: 0387-5806
• ISSN-L（掲載誌）: 0387-5806
• 出版事項（掲載誌）: 東京 : 情報処理学会
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• NDLC: ZM13
• 対象利用者: 一般
• 所蔵機関: 国立国会図書館
• 請求記号: Z74-C192
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館雑誌記事索引; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 9421237; http://id.ndl.go.jp/bib/9421237
• 整理区分コード: 632

• 要約等: 本研究では，多相レコード型に基づいてRubyプログラムの型推論ツールを設計，実装した．型推論ツールは，組み込みライブラリの型を記述したシグネチャとRubyプログラムを入力とし，プログラムの型を推論し，誤りを検出する．しかし，Rubyの柔軟性を表現できる，実用的で健全な型体系を設計しようとすると，体系...