登入選單

返回Google圖書搜尋

Detection of Free Variables in the Presence of Numeric Constraints by Means of Abstract Interpretation

V. DumortierG. JanssensM. Bruynooghe

出版	Katholieke Universiteit Leuven. Departement Computerwetenschappen, 1992
URL	http://books.google.com.hk/books?id=BYEergEACAAJ&hl=&source=gbs_api