| 研究概要 |
本年度の研究成果は以下の通りである.
(1)Javaジェネリクスの核部分に対する漸進的型付けのモデルの拡張については,インターフェースは問題なく取り入れられることがわかった.また,ワイルドカードとの融合については言語の複雑性が格段に上がるため,そもそも取り入れるべきではないという結論に達した.
(2)動的検査に伴う部分型検査については昨年度構築したアルゴリズムに誤りがあることがわかったため,その修復を行い,新しいアルゴリズムについて,元の型付け規則と等価であることを再証明した.この結果については,現在論文を準備中である.また,このため,停止性についての検討が遅れており,次年度への課題として持ち越された.
(3)言語の実装方式について,動的検査の実装のためにJava仮想機械に新しく搭載されたInvokeDynamic命令を活用できるかどうかを検討したが,一旦,InvokeDynamic命令を使わずに実装を行うこととし,その後にInvokeDynamic命令により最適化が行えるか改めて検討することとした.現在,InvokeDynamic命令を使わない実装を行っている途中である.
(4)多相的契約言語を不動点演算子で拡張した体系についての性質を調べた.新しい条件のもとで,全ての期待する性質が拡張後も成立することを証明することができたが,この新しい条件は実際に記述するプログラムの種類を著しく制限する可能性が高いことも同時に判明した.この制限を緩めることは次年度の課題として持ち越された。
|
