2008 Fiscal Year Final Research Report
Study on Type Theory to Promote Software Reuse
| Project/Area Number |
18700026
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
IGARASHI Atsushi Kyoto University, 大学院・情報学研究科, 准教授 (40323456)
|
|---|
| Project Period (FY) |
2006 – 2008
|
| Keywords | プログラム言語論 / オブジェクト指向 / 型システム |
|---|
| Research Abstract |
オブジェクト指向言語においてソフトウェアの再利用性の向上を支援する型システムの研究を行い, 主に以下に挙げる成果を得た. (1)相互再帰的なクラスを継承により拡張するための言語機構およびそれに対する型システムを考案し, 型システムの安全性の厳密な証明を与えた. (2)再帰的(自己参照的)インターフェースを表現できる型システムに対して従来から指摘されてきた欠点を解決した. (3)漸進的型付けと呼ばれる、動的型付けと静的型付けをひとつの言語上で混在させるための言語機構の形式化を簡単なオブジェクト指向言語に対し行い, その安全性を証明した.
|
Research Products
(18 results)
