Programming Languages and Systems

22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

  • Matthias Felleisen
  • Philippa Gardner

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Mark S. Miller, Tom Van Cutsem, Bill Tulloh
      Pages 1-20
  3. Session I: Programming Techniques

    1. Mihai Budiu, Joel Galenson, Gordon D. Plotkin
      Pages 21-40
    2. Arthur Charguéraud
      Pages 41-60
    3. Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
      Pages 61-80
  4. Session II: Programming Tools

    1. Stephen Chang
      Pages 81-100
    2. Kazutaka Matsuda, Meng Wang
      Pages 101-120
    3. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
      Pages 121-124
    4. Jean-Christophe Filliâtre, Andrei Paskevich
      Pages 125-128
  5. Session III: Separation Logic

    1. Constantin Enea, Vlad Saveluc, Mihaela Sighireanu
      Pages 129-148
    2. Kasper Svendsen, Lars Birkedal, Matthew Parkinson
      Pages 169-188
    3. John Wickerson, Mike Dodds, Matthew Parkinson
      Pages 189-208
  6. Session IV: Gradual Typing

    1. Niki Vazou, Patrick M. Rondon, Ranjit Jhala
      Pages 209-228
    2. Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt
      Pages 229-248
  7. Session V: Shared-Memory Concurrency and Verification

    1. Alexey Gotsman, Noam Rinetzky, Hongseok Yang
      Pages 249-269
    2. Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer
      Pages 270-289
    3. Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
      Pages 290-309
  8. Session VI: Process Calculi

    1. Kirstin Peters, Uwe Nestmann, Ursula Goltz
      Pages 310-329
    2. Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
      Pages 330-349

About these proceedings


This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.


concurrent programs higher-order programming program verification separation logic weak memory models

Editors and affiliations

  • Matthias Felleisen
    • 1
  • Philippa Gardner
    • 2
  1. 1.College of Computer ScienceNortheastern UniversityBostonUSA
  2. 2.Department of ComputingImperial CollegeLondonUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-37035-9
  • Online ISBN 978-3-642-37036-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Chemical Manufacturing
Energy, Utilities & Environment