Skip to main content
  • Conference proceedings
  • © 2012

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

Editors:

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2012.

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-28869-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (29 papers)

  1. Front Matter

  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

Other Volumes

  1. 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

About this book

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

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

    Helmut Seidl

Bibliographic Information

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-28869-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)