(3) KL1プログラム開発支援ツール
研究代表者：上田 和紀 教授
早稲田大学理工学部情報学科
本調査研究では、並行論理プログラムのデータの流れや通信プロトコ
ルに関する性質を静的に解析するモード解析技法について、実用化に向けた研
究開発を行なう。これまでの理論的検討をふまえ、また昨年度までに作成した
静的解析ツール klintを発展させることによって、KL1プログラムの静的デバッ
グおよびプログラム最適化の双方に役立つ情報を提供するような実用的解析ツー
ルの構築を目指す。
- 研究の期間 平成８年６月１日より平成９年３月末日（昨年度から継続２年目）
- 研究従事者
- 上田 和紀 早稲田大学 理工学部情報学科 教授
- 長 健太 早稲田大学大学院情報科学専攻 Ｍ２
- 松田 慎一 早稲田大学大学院情報科学専攻 Ｍ２
- 加藤 昇嗣 早稲田大学大学院情報科学専攻 Ｍ１
- 土山 了士 早稲田大学大学院情報科学専攻 Ｍ１
- 村山 和宏 早稲田大学大学院情報科学専攻 Ｍ１
- 網代 育大 早稲田大学理工学部情報学科 ４年
- 倉持 聡 早稲田大学理工学部情報学科 ４年
www-admin@icot.or.jp