Skip to main content
  • Conference proceedings
  • Open Access
  • © 2020

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12075)

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 2020.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (27 papers)

  1. Front Matter

    Pages i-xv
  2. Trace-Relating Compiler Correctness and Secure Compilation

    • Carmine Abate, Roberto Blanco, Ștefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hrițcu et al.
    Pages 1-28Open Access
  3. Runners in Action

    • Danel Ahman, Andrej Bauer
    Pages 29-55Open Access
  4. On the Versatility of Open Logical Relations

    • Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
    Pages 56-83Open Access
  5. Constructive Game Logic

    • Rose Bohrer, André Platzer
    Pages 84-111Open Access
  6. Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis

    • Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
    Pages 112-140Open Access
  7. Concise Read-Only Specifications for Better Synthesis of Programs with Pointers

    • Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
    Pages 141-168Open Access
  8. Soundness Conditions for Big-Step Semantics

    • Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
    Pages 169-196Open Access
  9. Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap

    • Kimball Germane, Michael D. Adams
    Pages 197-223Open Access
  10. SMT-Friendly Formalization of the Solidity Memory Model

    • Ákos Hajdu, Dejan Jovanović
    Pages 224-250Open Access
  11. Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

    • Sung-Shik Jongmans, Nobuko Yoshida
    Pages 251-279Open Access
  12. Verifying Visibility-Based Weak Consistency

    • Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanović
    Pages 280-307Open Access
  13. Local Reasoning for Global Graph Properties

    • Siddharth Krishna, Alexander J. Summers, Thomas Wies
    Pages 308-335Open Access
  14. Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

    • Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal
    Pages 336-365Open Access
  15. Continualization of Probabilistic Programs With Correction

    • Jacob Laurel, Sasa Misailovic
    Pages 366-393Open Access
  16. Semantic Foundations for Deterministic Dataflow and Stream Processing

    • Konstantinos Mamouras
    Pages 394-427Open Access
  17. Connecting Higher-Order Separation Logic to a First-Order Outside World

    • William Mansky, Wolf Honoré, Andrew W. Appel
    Pages 428-455Open Access
  18. RustHorn: CHC-Based Verification for Rust Programs

    • Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
    Pages 484-514Open Access
  19. A First-Order Logic with Frames

    • Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan
    Pages 515-543Open Access

Other Volumes

  1. Programming Languages and Systems

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. 


  • artificial intelligence
  • computer networks
  • computer programming
  • computer security
  • distributed computer systems
  • embedded systems
  • formal languages
  • formal logic
  • linguistics
  • mathematics
  • model checking
  • object-oriented programming
  • parallel processing systems
  • program compilers
  • semantics
  • software architecture
  • software design
  • software engineering
  • software quality
  • verification and validation

Editors and Affiliations

  • ETH Zurich, Zurich, Switzerland

    Peter Müller

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)