TY - BOOK AU - Castagna,Giuseppe ED - ESOP ED - SpringerLink (Online service) TI - Programming languages and systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings SN - 9783642005909 U1 - 005.13 22 PY - 2009/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer programming KW - Congresses KW - Logics and Meanings of Programs KW - Theory of Computation KW - Software Engineering/Programming and Operating Systems KW - Programming Techniques KW - Programming Languages, Compilers, Interpreters KW - Algorithm Analysis and Problem Complexity UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-00590-9 ER -