Jump to main content

雑誌情報処理学会論文誌 SIG
Volume number49巻3号 2008年3月
Article多相レコード型に基づ...

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

Icons representing 記事

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

Call No. (NDL)
Z74-C192
Bibliographic ID of National Diet Library
9421237
Material type
記事
Author
松本 宗太郎ほか
Publisher
東京 : 情報処理学会
Publication date
2008-03
Material Format
Paper
Journal name
情報処理学会論文誌. SIG 49(3) 2008.3
Publication Page
p.39～54
View All

Detailed bibliographic record

Summary, etc.：

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

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
    Check the holdings of this book

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Title
多相レコード型に基づくRubyプログラムの型推論
Author/Editor
松本 宗太郎
南出 靖彦
Author Heading
松本 宗太郎
南出 靖彦
Alternative Title
Type inference for ruby programs based on polymorphic record types
Periodical title
情報処理学会論文誌. SIG
No. or year of volume/issue
49(3) 2008.3
Volume
49
Issue
3
Pages
39～54