Featherweight Java のための漸進的型付け

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 2009-04-24

著者

• 五十嵐 淳

  京都大学大学院情報学研究科

• 伊奈 林太郎

  京都大学大学院情報学研究科

関連論文

• Featherweight Java のための漸進的型付け
• 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム
• Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング
• TACS 2001およびManfred Paul賞授賞式

スポンサーリンク