並行論理型言語のプログラミングとその効率的実行にとって、モード解析技法は、 非常に基本的な情報を提供する。モード解析とは、並行論理プログラム実行時の 情報の流れや通信プロトコルに関する基本的な性質を静的に解析するものである。 MLをはじめとする言語の静的型体系と同様の単純さをもちながら、プログラムの 動的側面を静的に扱うことにより、型体系よりも強力な情報を提供する。 その応用範囲には、(1)プログラムの静的デバッグ、(2)プログラミングスタイル のチェック、(3)最適化、(4)プログラム解析の基礎情報の提供、(5)動的デバッ グのための基礎情報の提供、などが含まれる。
モードの体系と解析手法は、研究代表者によって1990年に提案され、1994年まで に理論的枠組の整備はほぼ完了した。抽象解釈に基づくモード解析の研究は多い が、本体系の特徴は、MLなどの言語に見られる型推論と類似のアルゴリズムに基 づいており、単純でしかも大規模プログラムへの適用が容易な点である。
モード解析の実用面については、過去の研究で、KL1言語特有の機能の解析技法 の検討、およびモード解析の基本アルゴリズムのKL1による実装が進み、モード 体系の実用化に向けて進展してきた。しかし、実際のKL1プログラムに適用した ときに生ずるであろう種々の問題点を検討する段階にはいたっておらず、まだ一 般のKL1プログラマが利用できるシステムは完成していない。
そこで本研究では、まずモード解析系の核部分の機能を拡充し、それに基づいて、 KL1プログラムの静的デバッガを作成する。さらにそれを発展させてKL1用スタイ ルチェッカを作成することを目指す。「良い」KL1プログラミングのガイドライ ンが広く流布していない現状を考えると、KL1プログラマに対して、ツールの形 でプログラミングスタイルのガイドラインを提供することは非常に重要である。 また、解析系の核部分が提供する情報は、静的デバッグ以外にも、上記のさまざ まな応用に用いることができる。
なお、モード解析系自身は、かなり複雑なグラフ構造を用いる。これをKL1のプ ロセス構造を用いて記述し、KLIC処理系で実行することは、複雑なプロセス構造 の記述実験としての意義をもつ。また、これを完全にwell-modedなプログラムと して記述することは、モード体系の下でのKL1の記述力の確認という意義ももつ。