「KL1プログラム静的解析系」に関する成果概要

上田 和紀
(早稲田大学理工学部情報学科)
網代 育大，加藤 昇嗣，土山 了士
(早稲田大学大学院理工学研究科情報科学専攻)

1998年2月28日

• 研究の背景と目的
• 研究の内容
• 研究の成果
  • 研究上の成果
    • KL1プログラムの静的解析
    • 静的解析と制約充足によるバグの自動修正
    • 並行論理プログラムのOccur-check解析
    • 制約に基づく解析の最適化への応用
  • ソフトウェアの成果
  • 残された課題
  • 自己評価
• 参考文献