中图分类法:	TP311-532 版次：
题名:	Programming languages and systems : [ 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings /] / ,
其它题名:	ESOP 2005
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2005.
载体形态:	xiii, 438 p. : ill. ; 25 cm.
主题词:	Computer programming
主题词:	Programming languages (Electronic computers)
主要责任者:	Sagiv, Mooly.