Programming Languages and Systems

1. Front Matter

   PDF

2. Foundations of C++

   • Bjarne Stroustrup

   Pages 1-25

3. What’s Decidable about Weak Memory Models?

   • Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

   Pages 26-46

4. A Formally Verified SSA-Based Middle-End

   • Gilles Barthe, Delphine Demange, David Pichardie

   Pages 47-66

5. Eventually Consistent Transactions

   • Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv

   Pages 67-86

6. Concurrent Library Correctness on the TSO Memory Model

   • Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang

   Pages 87-107

7. Automated Verification of Equivalence Properties of Cryptographic Protocols

   • Rohit Chadha, Ştefan Ciobâcă, Steve Kremer

   Pages 108-127

8. The Call-by-Need Lambda Calculus, Revisited

   • Stephen Chang, Matthias Felleisen

   Pages 128-147

9. A Compositional Specification Theory for Component Behaviours

   • Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Kwiatkowska

   Pages 148-168

10. Probabilistic Abstract Interpretation

    • Patrick Cousot, Michael Monerau

    Pages 169-193

11. Multiparty Session Types Meet Communicating Automata

    • Pierre-Malo Deniélou, Nobuko Yoshida

    Pages 194-213

12. Complete Monitors for Behavioral Contracts

    • Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen

    Pages 214-233

13. A Systematic Approach to Delimited Control with Multiple Prompts

    • Paul Downen, Zena M. Ariola

    Pages 234-253

14. Generate, Test, and Aggregate

    • Kento Emoto, Sebastian Fischer, Zhenjiang Hu

    Pages 254-273

15. Trace Spaces: An Efficient New Technique for State-Space Reduction

    • Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen

    Pages 274-294

16. A Process Algebra for Wireless Mesh Networks

    • Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

    Pages 295-315

17. On the Correctness of the SIMT Execution Model of GPUs

    • Axel Habermaier, Alexander Knapp

    Pages 316-335

18. Reasoning about Lock Placements

    • Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, Mooly Sagiv

    Pages 336-356

19. Reasoning about Multi-stage Programs

    • Jun Inoue, Walid Taha

    Pages 357-376

20. Fictional Separation Logic

    • Jonas Braband Jensen, Lars Birkedal

    Pages 377-396

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.

• higher-order programming
• local reasoning
• modularity
• separation logic
• specification theory

• Technische Universität München, Garching, Germany

  Helmut Seidl

Policies and ethics