Programming Languages and Systems

21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

  • Helmut Seidl
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7211)

Table of contents

  1. Front Matter
  2. Bjarne Stroustrup
    Pages 1-25
  3. Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
    Pages 26-46
  4. Gilles Barthe, Delphine Demange, David Pichardie
    Pages 47-66
  5. Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv
    Pages 67-86
  6. Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
    Pages 87-107
  7. Rohit Chadha, Ştefan Ciobâcă, Steve Kremer
    Pages 108-127
  8. Stephen Chang, Matthias Felleisen
    Pages 128-147
  9. Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Kwiatkowska
    Pages 148-168
  10. Patrick Cousot, Michael Monerau
    Pages 169-193
  11. Pierre-Malo Deniélou, Nobuko Yoshida
    Pages 194-213
  12. Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
    Pages 214-233
  13. Paul Downen, Zena M. Ariola
    Pages 234-253
  14. Kento Emoto, Sebastian Fischer, Zhenjiang Hu
    Pages 254-273
  15. Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
    Pages 274-294
  16. Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
    Pages 295-315
  17. Axel Habermaier, Alexander Knapp
    Pages 316-335
  18. Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, Mooly Sagiv
    Pages 336-356
  19. Jun Inoue, Walid Taha
    Pages 357-376
  20. Jonas Braband Jensen, Lars Birkedal
    Pages 377-396

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012.

The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.

Keywords

higher-order programming local reasoning modularity separation logic specification theory

Editors and affiliations

  • Helmut Seidl
    • 1
  1. 1.Technische Universität MünchenGarchingGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-28869-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-28868-5
  • Online ISBN 978-3-642-28869-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book