@techreport{weko_28720_1,
   author	 = "吉羽,和之 and 佐々,政孝",
   title	 = "BDDを利用したＣプログラムのfield-sensitiveなポインタ解析",
   year 	 = "2008",
   institution	 = "東京工業大学大学院'情報理工学研究科数理・計算科学専攻, 東京工業大学大学院'情報理工学研究科数理・計算科学専攻　　",
   number	 = "19(2008-HPC-114)",
   month	 = "mar"
}