| Project/Area Number |
13780210
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
西崎 真也 東京工業大学, 大学院・情報理工学研究科, 助教授 (90263615)
|
|---|
| Project Period (FY) |
2001 – 2002
|
| Project Status |
Completed (Fiscal Year 2002)
|
| Budget Amount *help |
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 2002: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2001: ¥1,500,000 (Direct Cost: ¥1,500,000)
|
|---|
| Keywords | デバッギング / 型推論 / プログラミング言語 / 関数型言語 |
|---|
| Research Abstract |
平成14年度においては、次のような事項について研究を推進した。
《先進的な型推論アルゴリズムの調査・分析》
近年提唱された先進的な型推論アルゴリズムについて、網羅的に調査をおこない、デバッグ作業の支援という観点から検討・分析に取り組んだ。とくに、コンカレント・プログラミングのための型推論や、セキュア・プログラミングのための型推論などを中心にすえた。
《デバッグ作業を支援するための型推論の拡張》
前項で調査した「先進的な型推論アルゴリズム」に対する検討を基にして、平成13年度の「デバッグ作業を支援するための型推論の開発」の成果の拡張に取り組んだ。
《プロトタイプシステムの実装》
平成13年度の「デバッグ作業を支援するための型推論の開発」で得られた理論的成果、および、前項により得られた成果について、プロトタイプシステムを実装することを通して、実際的な観点から、有用性について評価をおこない、従来の言語処理系における型推論との比較検討をおこなった。
|
