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 (ed.).

Includes bibliographical references and author index.

Foundations of C++ / Bjarne Stroustrup -- What's Decidable about Weak Memory Models? / Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt and Madanlal Musuvathi -- A Formally Verified SSA-Based Middle-End / Static Single Assignment Meets CompCert / Gilles Barthe, Delphine Demange and David Pichardie -- Eventually Consistent Transactions / Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich and Mooly Sagiv -- Concurrent Library Correctness on the TSO Memory Model / Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi and Hongseok Yang -- Automated Verification of Equivalence Properties of Cryptographic Protocols / Rohit Chadha, Ştefan Ciobâcă and Steve Kremer -- The Call-by-Need Lambda Calculus, Revisited / Stephen Chang and Matthias Felleisen -- A Compositional Specification Theory for Component Behaviours / Taolue Chen, Chris Chilton, Bengt Jonsson and Marta Kwiatkowska -- Probabilistic Abstract Interpretation / Patrick Cousot and Michael Monerau -- Multiparty Session Types Meet Communicating Automata / Pierre-Malo Deniélou and Nobuko Yoshida -- Complete Monitors for Behavioral Contracts / Christos Dimoulas, Sam Tobin-Hochstadt and Matthias Felleisen -- A Systematic Approach to Delimited Control with Multiple Prompts / Paul Downen and Zena M. Ariola -- Generate, Test, and Aggregate / A Calculation-based Framework for Systematic Parallel Programming with MapReduce / Kento Emoto, Sebastian Fischer and Zhenjiang Hu -- Trace Spaces: An Efficient New Technique for State-Space Reduction / Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram and Martin Raussen.

A Process Algebra for Wireless Mesh Networks / Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver and Marius Portmann, et al. -- On the Correctness of the SIMT Execution Model of GPUs / Axel Habermaier and Alexander Knapp -- Reasoning about Lock Placements / Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard and Mooly Sagiv -- Reasoning about Multi-stage Programs / Jun Inoue and Walid Taha -- Fictional Separation Logic / Jonas Braband Jensen and Lars Birkedal -- Validating LR(1) Parsers / Jacques-Henri Jourdan, François Pottier and Xavier Leroy -- Adding Equations to System F Types / Neelakantan R. Krishnaswami and Nick Benton -- GMeta: A Generic Formal Metatheory Framework for First-Order Representations / Gyesik Lee, Bruno C.D.S. Oliveira, Sungkeun Cho and Kwangkeun Yi -- Expansion for Universal Quantifiers / Sergueï Lenglet and Joe B. Wells -- Non-monotonic Self-Adjusting Computation / Ruy Ley-Wild, Umut A. Acar and Guy Blelloch -- Java and the Java Memory Model -- A Unified, Machine-Checked Formalisation / Andreas Lochbihler -- A Type and Effect System for Determinism in Multithreaded Programs / Yi Lu, John Potter, Chenyi Zhang and Jingling Xue -- Linear Logical Relations for Session-Based Concurrency / Jorge A. Pérez, Luís Caires, Frank Pfenning and Bernardo Toninho -- Staged Computation with Staged Lexical Scope / Morten Rhiger -- Gradual Ownership Types / Ilya Sergey and Dave Clarke.

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.

Online resource; title from PDF title page (SpringerLink, viewed October 27, 2014).

English.