Overview
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)
Included in the following conference series:
Conference proceedings info: ESOP 2018.
Buy print copy
Tax calculation will be finalised at checkout
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.
Similar content being viewed by others
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
Table of contents (36 papers)
-
Front Matter
-
Probabilistic Programming
-
Front Matter
-
-
Types and Effects
-
Front Matter
-
-
Concurrency
-
Front Matter
-
Other volumes
-
Programming Languages and Systems
Editors and Affiliations
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
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: Programming Languages, Compilers, Interpreters, Theory of Computation, Computer Systems Organization and Communication Networks, Computer Hardware, Artificial Intelligence, Computing Milieux