Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10801)
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 2018.
Buying options
Table of contents (36 papers)
-
Front Matter
-
Types and Effects
-
Front Matter
-
-
Concurrency
-
Front Matter
-
About this book
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.
The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.
Keywords
- artificial intelligence
- computer architecture
- computer software selection and evaluation
- distributed computer systems
- formal logic
- formal model
- java
- model checking
- processors
- program compilers
- program verification
- programming language
- semantics
- separation logic
- software engineering
- specifications
- theorem proving
- type systems
- verification
- open access
Editors and Affiliations
-
Northeastern University, Boston, USA
Amal Ahmed
Bibliographic Information
Book Title: Programming Languages and Systems
Book Subtitle: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Editors: Amal Ahmed
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-89884-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2018
License: CC BY
Softcover ISBN: 978-3-319-89883-4Published: 15 April 2018
eBook ISBN: 978-3-319-89884-1Published: 14 April 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 1058
Number of Illustrations: 276 b/w illustrations
Topics: Compilers and Interpreters, Theory of Computation, Computer Engineering and Networks, Computer Hardware, Artificial Intelligence, Computing Milieux