Programming Languages and Systems
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: Ahmed, Amal (Ed.)
Free PreviewBuy this book
- 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.
- Table of contents (36 chapters)
-
-
Consistent Subtyping for All
Pages 3-30
-
HOBiT: Programming Lenses Without Using Lens Combinators
Pages 31-59
-
Dualizing Generalized Algebraic Data Types by Matrix Transposition
Pages 60-85
-
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
Pages 86-113
-
An Assertion-Based Program Logic for Probabilistic Programs
Pages 117-144
-
Table of contents (36 chapters)
Recommended for you
Bibliographic Information
- 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
- Theoretical Computer Science and General Issues
- Series Volume
- 10801
- Copyright
- 2018
- Publisher
- Springer International Publishing
- Copyright Holder
- The Editor(s) (if applicable) and The Author(s)
- eBook ISBN
- 978-3-319-89884-1
- DOI
- 10.1007/978-3-319-89884-1
- Softcover ISBN
- 978-3-319-89883-4
- Edition Number
- 1
- Number of Pages
- XVI, 1058
- Number of Illustrations
- 276 b/w illustrations
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.
