中图分类法:	TP312-532 版次：
题名:	Static analysis : [ 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /] / ,
出版发行:	出版地： New York : 出版社： Springer, 出版日期： 2001.
载体形态:	xi, 436 p. : ill., tab. ; 24 cm.
主题词:	Computer programming
主题词:	Programming languages (Electronic computers)
主要责任者:	Cousot, Patrick,