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

Programming Languages and Systems

30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Part of the book series: Theoretical Computer Science and General Issues (LNTCS, volume 12648)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2021.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (24 papers)

  1. Front Matter

    Pages i-xii
  2. The Decidability of Verification under PS 2.0

    • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis
    Pages 1-29Open Access
  3. Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains

    • Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
    Pages 30-58Open Access
  4. Types for Complexity of Parallel Computation in Pi-Calculus

    • Patrick Baillot, Alexis Ghyselen
    Pages 59-86Open Access
  5. Checking Robustness Between Weak Transactional Consistency Models

    • Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
    Pages 87-117Open Access
  6. Verified Software Units

    • Lennart Beringer
    Pages 118-147Open Access
  7. An Automated Deductive Verification Framework for Circuit-building Quantum Programs

    • Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
    Pages 148-177Open Access
  8. Nested Session Types

    • Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning
    Pages 178-206Open Access
  9. Coupled Relational Symbolic Execution for Differential Privacy

    • Gian Pietro Farina, Stephen Chong, Marco Gaboardi
    Pages 207-233Open Access
  10. Graded Hoare Logic and its Categorical Semantics

    • Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
    Pages 234-263Open Access
  11. Do Judge a Test by its Cover

    • Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
    Pages 264-291Open Access
  12. For a Few Dollars More

    • Maximilian P. L. Haslbeck, Peter Lammich
    Pages 292-319Open Access
  13. Run-time Complexity Bounds Using Squeezers

    • Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
    Pages 320-347Open Access
  14. Complete trace models of state and control

    • Guilhem Jaber, Andrzej S. Murawski
    Pages 348-374Open Access
  15. Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

    • Alex C. Keizer, Henning Basold, Jorge A. Pérez
    Pages 375-403Open Access
  16. Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages

    • Daniel Lundén, Johannes Borgström, David Broman
    Pages 404-431Open Access
  17. Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

    • Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner
    Pages 432-461Open Access
  18. Graded Modal Dependent Type Theory

    • Benjamin Moon, Harley Eades III, Dominic Orchard
    Pages 462-490Open Access
  19. Automated Termination Analysis of Polynomial Probabilistic Programs

    • Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
    Pages 491-518Open Access

Other Volumes

  1. Programming Languages and Systems

About this book

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.

The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.


  • computer programming
  • concurrency theory
  • distributed computer systems
  • formal logic
  • lamdba calculi
  • linguistics
  • logic
  • object-oriented programming
  • parallel processing systems
  • probabilistic programming
  • process calculi
  • program compilers
  • semantics
  • software design
  • software engineering
  • software quality
  • theory
  • types
  • verification and validation

Editors and Affiliations

  • Imperial College, London, UK

    Nobuko Yoshida

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)