中图分类法:	TP311-532 版次：
题名:	Program analysis and compilation, theory and practice : [ essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2007.
载体形态:	x, 360 p. : ill. ; 24 cm.
附注:	"On June 9-10, 2006, a celebratory symposium in honor of Reinhard Wilhelm`s 60th birthday as held at Scholβ Dagstuh."--Pref.
主题词:	Computer programs Verification
主题词:	Compilers (Computer programs)
主题词:	Computer programming
主要责任者:	Reps, Thomas W.
主要责任者:	Sagiv, Mooly.
主要责任者:	Bauer, Jo?rg.
主要责任者:	Wilhelm, R.