Advertisement

Programming Languages and Systems

28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

  • Luís Caires
Open Access
Conference proceedings ESOP 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11423)

Table of contents

  1. Front Matter
    Pages i-xv
    PDF

  2. Program Verification

    1. Front Matter
      Pages 1-1
      PDF
    2. Time Credits and Time Receipts in Iris
      Glen Mével, Jacques-Henri Jourdan, François Pottier
      Pages 3-29 Open Access
      PDF
    3. Meta-F\(^\star \): Proof Automation with SMT, Tactics, and Metaprograms
      Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu et al.
      Pages 30-59 Open Access
      PDF
    4. Semi-automated Reasoning About Non-determinism in C Expressions
      Dan Frumin, Léon Gondelman, Robbert Krebbers
      Pages 60-87 Open Access
      PDF
    5. Safe Deferred Memory Reclamation with Types
      Ismail Kuru, Colin S. Gordon
      Pages 88-116 Open Access
      PDF

  3. Language Design

    1. Front Matter
      Pages 117-117
      PDF
    2. Codata in Action
      Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
      Pages 119-146 Open Access
      PDF
    3. Composing Bidirectional Programs Monadically
      Li-yao Xia, Dominic Orchard, Meng Wang
      Pages 147-175 Open Access
      PDF
    4. Counters in Kappa: Semantics, Simulation, and Static Analysis
      Pierre Boutillier, Ioana Cristescu, Jérôme Feret
      Pages 176-204 Open Access
      PDF
    5. One Step at a Time
      Ferdinand Vesely, Kathleen Fisher
      Pages 205-231 Open Access
      PDF

  4. Program Semantics

    1. Front Matter
      Pages 233-233
      PDF
    2. Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order
      Dylan McDermott, Alan Mycroft
      Pages 235-262 Open Access
      PDF
    3. Effectful Normal Form Bisimulation
      Ugo Dal Lago, Francesco Gavazzo
      Pages 263-292 Open Access
      PDF
    4. On the Multi-Language Construction
      Samuele Buro, Isabella Mastroeni
      Pages 293-321 Open Access
      PDF
    5. Probabilistic Programming Inference via Intensional Semantics
      Simon Castellan, Hugo Paquet
      Pages 322-349 Open Access
      PDF

  5. Types

    1. Front Matter
      Pages 351-351
      PDF
    2. Handling Polymorphic Algebraic Effects
      Taro Sekiyama, Atsushi Igarashi
      Pages 353-380 Open Access
      PDF
    3. Distributive Disjoint Polymorphism for Compositional Programming
      Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
      Pages 381-409 Open Access
      PDF
    4. Types by Need
      Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
      Pages 410-439 Open Access
      PDF
    5. Verifiable Certificates for Predicate Subtyping
      Frederic Gilbert
      Pages 440-466 Open Access
      PDF

  6. Security and Incremental Computation

    1. Front Matter
      Pages 467-467
      PDF
    2. Robustly Safe Compilation
      Marco Patrignani, Deepak Garg
      Pages 469-498 Open Access
      PDF
    3. Compiling Sandboxes: Formally Verified Software Fault Isolation
      Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas Jensen, Pierre Wilke
      Pages 499-524 Open Access
      PDF
    4. Fixing Incremental Computation
      Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
      Pages 525-552 Open Access
      PDF
    5. Incremental \(\lambda \)-Calculus in Cache-Transfer Style
      Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster
      Pages 553-580 Open Access
      PDF

  7. Concurrency and Distribution

    1. Front Matter
      Pages 581-581
      PDF
    2. Asynchronous Timed Session Types
      Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
      Pages 583-610 Open Access
      PDF
    3. Manifest Deadlock-Freedom for Shared Session Types
      Stephanie Balzer, Bernardo Toninho, Frank Pfenning
      Pages 611-639 Open Access
      PDF
    4. A Categorical Model of an \(\mathbf {i/o}\)-typed \(\pi \)-calculus
      Ken Sakayori, Takeshi Tsukada
      Pages 640-667 Open Access
      PDF
    5. A Process Algebra for Link Layer Protocols
      Rob van Glabbeek, Peter Höfner, Michael Markl
      Pages 668-693 Open Access
      PDF

  8. Program Analysis and Automated Verification

    1. Front Matter
      Pages 695-695
      PDF
    2. Data Races and Static Analysis for Interrupt-Driven Kernels
      Nikita Chopra, Rekha Pai, Deepak D’Souza
      Pages 697-723 Open Access
      PDF
    3. An Abstract Domain for Trees with Numeric Relations
      Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
      Pages 724-751 Open Access
      PDF
    4. A Static Higher-Order Dependency Pair Framework
      Carsten Fuhs, Cynthia Kop
      Pages 752-782 Open Access
      PDF
    5. Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
      Henning Basold, Ekaterina Komendantskaya, Yue Li
      Pages 783-813 Open Access
      PDF
  9. Back Matter
    Pages 815-816
    PDF

About these proceedings

Introduction

This book is Open Access under a CC BY licence.

Keywords

computer science formal logic operational semantics program compilers programming languages software engineering software evaluation theory of computation type systems verification

Editors and affiliations

  1. 1.Universidade NOVA de LisboaCaparicaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-17184-1
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2019
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-17183-4
  • Online ISBN 978-3-030-17184-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site