研究上の成果

• KL1プログラムの静的解析
• 静的解析と制約充足によるバグの自動修正
• 並行論理プログラムのOccur-check解析
• 制約に基づく解析の最適化への応用