|
最近の計算機システムの並列化・分散化の急速な進行に伴って、並列プログラムの生産性と信頼性を向上させるための研究がますます重要なものとなっている。本研究では、記述性に優れた並列処理言語を設計し、また数学理論に裏付けられた、並列プログラムの検証技術を確立することを目的として、平成2年度からその基礎研究を進めてきた。前年度までの研究では、プロセス間通信に基づく並列処理言語DNNPや並列オブジェクト指向言語DNNOなど幾つかの言語を設計し、それらの言語に対して、抽象度の高い、見通しの良い表示的意味記述を与えると共に、並列プログラムの正定性検証に関する基礎研究を行なってきた。本年度は、これらの研究成果をまとめると共に、正当性検証に関する基礎研究を引続き行なった。さらに、並列処理言語DNNPに対して、インタプリタを作成すると共に、DNNPコンパイラ作成のための準備段階として、その前半部である意味解析部までの試作を行ない、実行系に関する研究を行なった。また、本研究では正当性検証及び効率の良い実行系作成に関する基礎研究として、項書き換え系に関する研究を行なった。すなわち、正当性検証の自動化は定理の自動証明と密接な関係があり、その自動証明などに利用される、重要な性質である合流性について研究し、合流性を保証する新しい十分条件を明らかにした。また、効率の良い実行系作成に利用される、必須呼び出し(Call-by-Need)計算を保証する条件についても、従来の結果を真に拡張した結果を得た。
本年度は本研究課題の最終年度に当り、以上の研究成果を取りまとめ、報告書を作成した。
|
