@techreport{weko_27305_1,
   author	 = "土井,伸洋 and 堀山,貴史 and 中西,正樹 and 木村,晋二",
   title	 = "抽象解釈手法に基づく変数の相互関係解析とそのデータパス最適化への応用",
   year 	 = "2004",
   institution	 = "早稲田大学大学院　情報生産システム研究科, 京都大学大学院　情報学研究科, 奈良先端科学技術大学院大学　情報科学研究科, 早稲田大学大学院　情報生産システム研究科",
   number	 = "56(2004-SLDM-115)",
   month	 = "may"
}