Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Helmut Seidl

    1. Technische Universität München, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: ESOP 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

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.

Editors and Affiliations

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

    Helmut Seidl

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation