(4) KL1 プログラム開発支援ツール

本調査研究では、並行論理プログラムのデータの流れや通信プロトコルに関す る性質を、静的に解析するモード解析技法について研究開発を行う。モード解 析技法は、デバッグ、プログラミングスタイルのチェック、最適化などのため の基礎情報を提供する。本研究では、これまでのモード解析技法に関する理論 的検討および実験的処理系を発展させ、KL1プログラムの静的デバッグおよび スタイルチェックに使えるような静的解析ツールklintを開発する。特に、KL1 特有の言語機能に対する支援や、モードづけできないプログラムのエラー解析 に重点をおき、実用的なツールを目指す。