並行論理型言語のプログラミングとその効率的実行にとって、モード解析技法 は、非常に基本的な情報を提供する。モード解析とは、並行論理プログラム実 行時の情報の流れや通信プロトコルに関する基本的な性質を静的に解析するも のである。MLをはじめとする言語の静的型体系と同様の単純さをもちながら、 プログラムの動的側面を静的に扱うことにより、強力な情報を提供する。
その応用範囲には、
モードの体系と解析手法は、研究代表者によって1990年に提案され、1994年ま でに理論的枠組の整備はほぼ完了した。抽象解釈に基づくモード解析の研究は 多いが、本体系の特徴は制約概念に基づいていて、MLの型推論などと類似のア ルゴリズムによって解析でき、単純でしかも大規模プログラムへの適用が容易 な点である。
モード解析の実用面については、過去の研究で、KL1言語特有の機能の解析技 法の検討、およびモード解析の基本アルゴリズムのKL1による実装が進んでき た。しかし、KL1プログラムの開発支援ツールとして使うときに生ずるであろ う種々の問題点を検討する段階には至っていなかった。
そこで本研究では、まずモード解析系の核部分の機能を拡充し、それに基づい て、KL1プログラムの静的デバッガを作成し、さらにそれを発展させてKL1用ス タイルチェッカを作成することを目指してきた。「良い」KL1プログラミング のガイドラインが広く流布していない現状を考えると、KL1プログラマに対し て、ツールの形でプログラミングスタイルのガイドラインを提供することは非 常に重要である。また、解析系の核部分が提供する情報は、静的デバッグ以外 にも、上記のさまざまな応用に用いることができる。