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

Programming Languages and Systems

27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

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

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

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)

Table of contents (36 papers)

  1. Front Matter

    Pages I-XVI
  2. Language Design

    1. Front Matter

      Pages 1-1
    2. Consistent Subtyping for All

      • Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
      Pages 3-30Open Access
    3. HOBiT: Programming Lenses Without Using Lens Combinators

      • Kazutaka Matsuda, Meng Wang
      Pages 31-59Open Access
    4. Dualizing Generalized Algebraic Data Types by Matrix Transposition

      • Klaus Ostermann, Julian Jabs
      Pages 60-85Open Access
    5. Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach

      • Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha Roop, Reinhard von Hanxleden
      Pages 86-113Open Access
  3. Probabilistic Programming

    1. Front Matter

      Pages 115-115
    2. An Assertion-Based Program Logic for Probabilistic Programs

      • Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
      Pages 117-144Open Access
    3. Fine-Grained Semantics for Probabilistic Programs

      • Benjamin Bichsel, Timon Gehr, Martin Vechev
      Pages 145-185Open Access
    4. How long, O Bayesian network, will I sample thee?

      • Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
      Pages 186-213Open Access
    5. Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

      • Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Aleš Bizjak, Marco Gaboardi, Deepak Garg
      Pages 214-241Open Access
  4. Types and Effects

    1. Front Matter

      Pages 243-243
    2. Failure is Not an Option

      • Pierre-Marie Pédrot, Nicolas Tabareau
      Pages 245-271Open Access
    3. Let Arguments Go First

      • Ningning Xie, Bruno C. d. S. Oliveira
      Pages 272-299Open Access
    4. Behavioural Equivalence via Modalities for Algebraic Effects

      • Alex Simpson, Niels Voorneveld
      Pages 300-326Open Access
    5. Explicit Effect Subtyping

      • Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers
      Pages 327-354Open Access
  5. Concurrency

    1. Front Matter

      Pages 355-355
    2. A Separation Logic for a Promising Semantics

      • Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis
      Pages 357-384Open Access
    3. Logical Reasoning for Disjoint Permissions

      • Xuan-Bach Le, Aquinas Hobor
      Pages 385-414Open Access
    4. Deadlock-Free Monitors

      • Jafar Hamin, Bart Jacobs
      Pages 415-441Open Access

Other Volumes

  1. Programming Languages and Systems

About this book

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.

The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.


  • artificial intelligence
  • computer architecture
  • computer software selection and evaluation
  • distributed computer systems
  • formal logic
  • formal model
  • java
  • model checking
  • processors
  • program compilers
  • program verification
  • programming language
  • semantics
  • separation logic
  • software engineering
  • specifications
  • theorem proving
  • type systems
  • verification
  • open access

Editors and Affiliations

  • Northeastern University, Boston, USA

    Amal Ahmed

Bibliographic Information

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)