Overview
- Contains the proceedings of ESOP 2013
- Presents 31 full-length papers, two of which focus on tools, as well as a full-length invited talk
- Covers all aspects of the art and science of programming
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7792)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: ESOP 2013.
Buy print copy
About this book
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.
The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.
Similar content being viewed by others
Keywords
Table of contents (32 papers)
-
Front Matter
-
Invited Talk
-
Session I: Programming Techniques
-
Session III: Separation Logic
-
Session IV: Gradual Typing
-
Session V: Shared-Memory Concurrency and Verification
-
Session VI: Process Calculi
Other volumes
-
Programming Languages and Systems
Editors and Affiliations
Bibliographic Information
Book Title: Programming Languages and Systems
Book Subtitle: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Editors: Matthias Felleisen, Philippa Gardner
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-37036-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-37035-9Published: 20 February 2013
eBook ISBN: 978-3-642-37036-6Published: 02 March 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XX, 620
Number of Illustrations: 162 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Programming Techniques, Logics and Meanings of Programs