| 研究概要 |
本研究では,オブジェクト指向プログラミング言語のための,再利用性の向上をサポートする型システム技術を確立することを目指している.本年度の研究成果は以下のとおりである.
1.軽量族多相のためのコンパイル理論
従来から研究をしてきた,拡張可能な相互再帰的クラス定義を支援するための軽量族多相機構を,Javaのようなそれを持たない言語で実装するためのコンパイル手法の理論を構築し,そのコンパイル手法の正当性を証明した.
2.オブジェクト指向言語のためのユニオン型の理論
従来から研究をしてきた,オブジェクト指向言語におけるユニオン型の理論について考察を進め,既存の言語機構との相互作用について明らかにした.
3.入れ子構造を導入したオブジェクト指向言語の意味論と型理論
オブジェクト指向言語でのソフトウェア部品の記述単位であるクラスに,小規模な部品から大規模な部品まで同一の抽象機構で表現するために,入れ子構造を導入した言語を設計し,その操作的意味論を数学的に形式化した.また,この言語意味論に対する,型システムを考案し,その形式的定義を与えた.この際,単に安全性を確保するだけではなく,プログラマにとって,より柔軟な抽象化を支援するための,型付けの機構であるvariant path typesを考案した.そして,variant path typesの理論がプログラムの操作的意味論に対して安全性を確保することを証明した.
|
