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 / [electronic resource] : ESOP 2009 edited by Giuseppe Castagna. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - 409 pages : illustrations, digital. - Lecture notes in computer science, 5502 0302-9743 ; .

9783642005909


Computer programming--Congresses.
Logics and Meanings of Programs.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.

005.13