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

(9) KL1プログラム静的解析系

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