科图分类法:	QA76 L47 no. 2477 版次：
中图分类法:	TP31-532 版次：
题名:	Static analysis : [ 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /] / ,
其它题名:	SAS 2002.
出版发行:	出版地： Berlin : 出版社： Springer, 出版日期： c2002.
载体形态:	xi, 525 p. : ill. ; 24 cm.
附注:	"Papers accepted for presentation at the Ninth International Static Analysis Symposium"--p. [v]
主题词:	Computer programming
主题词:	Programming languages (Electronic computers)
主要责任者:	Hermenegildo, Manuel.
主要责任者:	Puebla, Germ鈇n.