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年度の「デバッグ作業を支援するための型推論の開発」で得られた理論的成果、および、前項により得られた成果について、プロトタイプシステムを実装することを通して、実際的な観点から、有用性について評価をおこない、従来の言語処理系における型推論との比較検討をおこなった。
|
Report
(2 results)
Research Products
(5 results)