平成１０年度　委託研究ソフトウェアの最終成果報告書

(16) KL1プログラム静的解析系に関する研究

研究代表者：	上田　和紀　教授
	早稲田大学理工学部情報学科