Advertisement

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
  21. Jacques-Henri Jourdan, François Pottier, Xavier Leroy
    Pages 397-416
  22. Neelakantan R. Krishnaswami, Nick Benton
    Pages 417-435
  23. Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
    Pages 436-455
  24. Sergueï Lenglet, Joe B. Wells
    Pages 456-475
  25. Ruy Ley-Wild, Umut A. Acar, Guy Blelloch
    Pages 476-496
  26. Yi Lu, John Potter, Chenyi Zhang, Jingling Xue
    Pages 518-538
  27. Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
    Pages 539-558
  28. Morten Rhiger
    Pages 559-578
  29. Ilya Sergey, Dave Clarke
    Pages 579-599
  30. Back Matter

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
  • Buy this book on publisher's site