© 2014

Programming Languages and Systems

23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

  • Zhong Shao
Conference proceedings ESOP 2014

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Maurice Herlihy, Eric Koskinen
      Pages 1-7
    2. John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens
      Pages 8-26
  3. Type Systems

    1. Justin Slepak, Olin Shivers, Panagiotis Manolios
      Pages 27-46
    2. Peter Thiemann, Luminous Fennell
      Pages 47-66
    3. Boris Düdder, Moritz Martens, Jakob Rehof
      Pages 67-86
    4. Jesper Cockx, Frank Piessens, Dominique Devriese
      Pages 87-106
  4. Verified Compilation

    1. Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel
      Pages 107-127
    2. James T. Perconti, Amal Ahmed
      Pages 128-148
  5. Program Verification I

    1. Kasper Svendsen, Lars Birkedal
      Pages 149-168
    2. Philippa Gardner, Gian Ntzik, Adam Wright
      Pages 169-188
    3. Véronique Benzaken, Évelyne Contejean, Stefania Dumbrava
      Pages 189-208
  6. Semantics

    1. Raphaëlle Crubillé, Ugo Dal Lago
      Pages 209-228
    2. Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
      Pages 229-248
    3. Paul Downen, Zena M. Ariola
      Pages 249-269
    4. Casper Bach Poulsen, Peter D. Mosses
      Pages 270-289
  7. Concurrency

    1. Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco
      Pages 290-310
    2. Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
      Pages 311-330
  8. Linear Types

    1. Dan R. Ghica, Alex I. Smith
      Pages 331-350
    2. Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic
      Pages 351-370

About these proceedings


This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.


calculus concurrency formal methods linear types models of computation process calculi program analysis program reasoning program semantics

Editors and affiliations

  • Zhong Shao
    • 1
  1. 1.Yale UniversityNew HavenUSA

Bibliographic information