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
  2. Program Verification

    1. Front Matter
      Pages 1-1
    2. Glen Mével, Jacques-Henri Jourdan, François Pottier
      Pages 3-29 Open Access
    3. Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu et al.
      Pages 30-59 Open Access
    4. Dan Frumin, Léon Gondelman, Robbert Krebbers
      Pages 60-87 Open Access
    5. Ismail Kuru, Colin S. Gordon
      Pages 88-116 Open Access
  3. Language Design

    1. Front Matter
      Pages 117-117
    2. Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
      Pages 119-146 Open Access
    3. Li-yao Xia, Dominic Orchard, Meng Wang
      Pages 147-175 Open Access
    4. Pierre Boutillier, Ioana Cristescu, Jérôme Feret
      Pages 176-204 Open Access
    5. Ferdinand Vesely, Kathleen Fisher
      Pages 205-231 Open Access
  4. Program Semantics

    1. Front Matter
      Pages 233-233
    2. Dylan McDermott, Alan Mycroft
      Pages 235-262 Open Access
    3. Ugo Dal Lago, Francesco Gavazzo
      Pages 263-292 Open Access
    4. Samuele Buro, Isabella Mastroeni
      Pages 293-321 Open Access
    5. Simon Castellan, Hugo Paquet
      Pages 322-349 Open Access
  5. Types

    1. Front Matter
      Pages 351-351
    2. Taro Sekiyama, Atsushi Igarashi
      Pages 353-380 Open Access
    3. Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
      Pages 381-409 Open Access
    4. Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
      Pages 410-439 Open Access
    5. Frederic Gilbert
      Pages 440-466 Open Access
  6. Security and Incremental Computation

    1. Front Matter
      Pages 467-467
    2. Marco Patrignani, Deepak Garg
      Pages 469-498 Open Access
    3. Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas Jensen, Pierre Wilke
      Pages 499-524 Open Access
    4. Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
      Pages 525-552 Open Access
    5. Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster
      Pages 553-580 Open Access
  7. Concurrency and Distribution

    1. Front Matter
      Pages 581-581
    2. Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
      Pages 583-610 Open Access
    3. Stephanie Balzer, Bernardo Toninho, Frank Pfenning
      Pages 611-639 Open Access
    4. Ken Sakayori, Takeshi Tsukada
      Pages 640-667 Open Access
    5. Rob van Glabbeek, Peter Höfner, Michael Markl
      Pages 668-693 Open Access
  8. Program Analysis and Automated Verification

    1. Front Matter
      Pages 695-695
    2. Nikita Chopra, Rekha Pai, Deepak D’Souza
      Pages 697-723 Open Access
    3. Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
      Pages 724-751 Open Access
    4. Carsten Fuhs, Cynthia Kop
      Pages 752-782 Open Access
    5. Henning Basold, Ekaterina Komendantskaya, Yue Li
      Pages 783-813 Open Access
  9. Back Matter
    Pages 815-816

About these proceedings


This book is Open Access under a CC BY licence.


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
  • 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