Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9632)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): ESOP: European Symposium on Programming
Conference proceedings info: ESOP 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (30 papers)
-
Front Matter
About this book
This book
constitutes the proceedings of the 25th European Symposium on Programming, ESOP
2016, which took place in Eindhoven, The Netherlands, in April 2016, held as
Part of the European Joint Conferences on Theory and Practice of Software,
ETAPS 2016.
The 29 papers presented in this volume were carefully reviewed and selected
from 98 submissions. Being devoted to fundamental issues in the specification,
design, analysis, and implementation of programming languages and systems, ESOP
features contributions on all aspects of programming language research;
theoretical and/or practical advances.
Keywords
- Formal language definitions
- Higher-order logic
- Logic and verification
- Program verification
- Semantics and reasoning
- Classical logic
- Compilers
- Context-specific languages
- Cryptography
- Functional programming
- Language features
- Linear logic
- Models of computation
- Parametricity
- Probabilistic programs
- Program analysis
- Programming languages
- Separation logic
- Simulation
- Software architecture
Editors and Affiliations
-
Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg, Germany
Peter Thiemann
Bibliographic Information
Book Title: Programming Languages and Systems
Book Subtitle: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Editors: Peter Thiemann
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-49498-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2016
Softcover ISBN: 978-3-662-49497-4Published: 23 March 2016
eBook ISBN: 978-3-662-49498-1Published: 21 March 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 806
Number of Illustrations: 32 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Software Engineering, Computation by Abstract Devices, Programming Techniques