Theoretical Computer Science and General Issues
Advanced Research in Computing and Software Science
© 2019
Open Access
This content is freely available online to anyone, anywhere at any time.
Programming Languages and Systems
28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Editors: Caires, Luís (Ed.)
Free PreviewBuy this book
- About this book
-
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
- Table of contents (28 chapters)
-
-
Time Credits and Time Receipts in Iris
Pages 3-29
-
Meta-F$$^\star $$: Proof Automation with SMT, Tactics, and Metaprograms
Pages 30-59
-
Semi-automated Reasoning About Non-determinism in C Expressions
Pages 60-87
-
Safe Deferred Memory Reclamation with Types
Pages 88-116
-
Codata in Action
Pages 119-146
-
Table of contents (28 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Programming Languages and Systems
- Book Subtitle
- 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
- Editors
-
- Luís Caires
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 11423
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- The Editor(s) (if applicable) and The Author(s)
- eBook ISBN
- 978-3-030-17184-1
- DOI
- 10.1007/978-3-030-17184-1
- Softcover ISBN
- 978-3-030-17183-4
- Edition Number
- 1
- Number of Pages
- XV, 816
- Number of Illustrations
- 5153 b/w illustrations, 70 illustrations in colour
- Topics