デバッギングを指向した型推論に関する研究

平成14年度においては、次のような事項について研究を推進した。《先進的な型推論アルゴリズムの調査・分析》近年提唱された先進的な型推論アルゴリズムについて、網羅的に調査をおこない、デバッグ作業の支援という観点から検討・分析に取り組んだ。とくに、コンカレント・プログラミングのための型推論や、セキュア・プログラミングのための型推論などを中心にすえた。《デバッグ作業を支援するための型推論の拡張》前項で調査した「先進的な型推論アルゴリズム」に対する検討を基にして、平成13年度の「デバッグ作業を支援するための型推論の開発」の成果の拡張に取り組んだ。《プロトタイプシステムの実装》平成13年度の「デバッグ作業を支援するための型推論の開発」で得られた理論的成果、および、前項により得られた成果について、プロトタイプシステムを実装することを通して、実際的な観点から、有用性について評価をおこない、従来の言語処理系における型推論との比較検討をおこなった。

平成14年度においては、次のような事項について研究を推進した。《先進的な型推論アルゴリズムの調査・分析》近年提唱された先進的な型推論アルゴリズムについて、網羅的に調査をおこない、デバッグ作業の支援という観点から検討・分析に取り組んだ。とくに、コンカレント・プログラミングのための型推論や、セキュア・プログラミングのための型推論などを中心にすえた。《デバッグ作業を支援するための型推論の拡張》前項で調査した「先進的な型推論アルゴリズム」に対する検討を基にして、平成13年度の「デバッグ作業を支援するための型推論の開発」の成果の拡張に取り組んだ。《プロトタイプシステムの実装》平成13年度の「デバッグ作業を支援するための型推論の開発」で得られた理論的成果、および、前項により得られた成果について、プロトタイプシステムを実装することを通して、実際的な観点から、有用性について評価をおこない、従来の言語処理系における型推論との比較検討をおこなった。