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
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥3,730,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥330,000)
Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2007: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2006: ¥1,200,000 (Direct Cost: ¥1,200,000)
|
|---|
| Keywords | プログラム言語論 / オブジェクト指向 / 型システム / ソフトウェア / 安全性 / オブジェクト指向言語 / 再利用性 / 軽量族多相 / 漸進的型付け / ユニオン型 |
|---|
| Research Abstract |
オブジェクト指向言語においてソフトウェアの再利用性の向上を支援する型システムの研究を行い, 主に以下に挙げる成果を得た. (1)相互再帰的なクラスを継承により拡張するための言語機構およびそれに対する型システムを考案し, 型システムの安全性の厳密な証明を与えた. (2)再帰的(自己参照的)インターフェースを表現できる型システムに対して従来から指摘されてきた欠点を解決した. (3)漸進的型付けと呼ばれる、動的型付けと静的型付けをひとつの言語上で混在させるための言語機構の形式化を簡単なオブジェクト指向言語に対し行い, その安全性を証明した.
|
Report
(4 results)
Research Products
(30 results)
