制約充足に基づく静的解析手法を用いたプログラミングの自動化に関する研究 : 推論・論理プログラミング(<特集>「人工知能分野における博士論文」)

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人人工知能学会の論文
• 2002-11-01

著者

• 網代 育大

  早稲田大学大学院理工学研究科

関連論文

• 制約に基づく解析による並行論理プログラムの自動デバッグ
• 並行論理プログラムのプログラム空間に関する考察
• 4N-4 並行論理プログラム静的解析系Kimaの実装
• 静的解析と制約充足によるプログラム自動デバッグ
• 制約充足に基づく静的解析手法を用いたプログラミングの自動化に関する研究 : 推論・論理プログラミング(「人工知能分野における博士論文」)

スポンサーリンク