研究の成果

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