ENGLISH

Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

By Andrew D. Gordon (eds.) , Sam Lindley , Philip Wadler (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
3642119565, 9783642119569
DOI
10.1007/978-3-642-11957-6
Language
english
Format
PDF
Filesize
7 MB (7327393 bytes)
Series
Lecture Notes in Computer Science 6012 : Theoretical Computer Science and General Issues
Edition
1
Pages
632\645
Time added
2013-04-24 17:00:00
CompilersInterpreters; Artificial Intelligence (incl. RobotSoftware Engineering; Computer Communication Netwo

Description

This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.

Similar books