Skip to main content
Book cover
  • 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

Editors:

  1. Peter Müller

    1. ETH Zurich, Zurich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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.

Sections

Softcover Book USD 49.99
Price excludes VAT (USA)
Learn about institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Pages i-xv
    PDF

  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

  19. RustHorn: CHC-Based Verification for Rust Programs

    • Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi
    Pages 484-514Open Access

  20. A First-Order Logic with Frames

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

Other Volumes

  1. Programming Languages and Systems

Back to top

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. 
Back to top

Keywords

  • 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
Back to top

Editors and Affiliations

  • ETH Zurich, Zurich, Switzerland

    Peter Müller

Back to top

Bibliographic Information

Back to top
Softcover Book USD 49.99
Price excludes VAT (USA)
Learn about institutional subscriptions