Programming Languages and Systems
29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Editors: Müller, Peter (Ed.)
Free PreviewBuy this book
- About this book
-
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Table of contents (27 chapters)
-
-
Trace-Relating Compiler Correctness and Secure Compilation
Pages 1-28
-
Runners in Action
Pages 29-55
-
On the Versatility of Open Logical Relations
Pages 56-83
-
Constructive Game Logic
Pages 84-111
-
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis
Pages 112-140
-
Table of contents (27 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Programming Languages and Systems
- Book Subtitle
- 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
- Editors
-
- Peter Müller
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 12075
- Copyright
- 2020
- Publisher
- Springer International Publishing
- Copyright Holder
- The Editor(s) (if applicable) and The Author(s)
- eBook ISBN
- 978-3-030-44914-8
- DOI
- 10.1007/978-3-030-44914-8
- Softcover ISBN
- 978-3-030-44913-1
- Edition Number
- 1
- Number of Pages
- XV, 772
- Number of Illustrations
- 1 b/w illustrations
- Topics
