Overview
- 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)
Included in the following conference series:
Conference proceedings info: ESOP 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (30 papers)
Other volumes
-
Programming Languages and Systems
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
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.
Editors and Affiliations
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