キーワード : プレスブルガー算術

プレスブルガー算術を用いたInfeasible Pathの検出
直井　邦彰  高橋　直久 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/20
Vol. J80-D1  No. 3  pp. 269-281
論文種別: 論文
専門分野: ソフトウェア基礎
キーワード: 
実行不可能経路,  プレスブルガー算術,  プログラム解析,  充足判定問題,  定理自動証明, 
  あらまし |  本文:PDF (910.6KB)