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 / April 2012, Proceedings
Helmut Seidl (Ed.)
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.
Contents
Foundations of C++ - Bjarne Stroustrup - Pages 1-25
What’s Decidable about Weak Memory Models? - Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi - Pages 26-46
A Formally Verified SSA-Based Middle-End - Gilles Barthe, Delphine Demange, David Pichardie - Pages 47-66
Eventually Consistent Transactions - Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv - Pages 67-86
Concurrent Library Correctness on the TSO Memory Model - Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang - Pages 87-107
Automated Verification of Equivalence Properties of Cryptographic Protocols - Rohit Chadha, Stefan Ciobâca, Steve Kremer - Pages 108-127
The Call-by-Need Lambda Calculus, Revisited - Stephen Chang, Matthias Felleisen - Pages 128-147
A Compositional Specification Theory for Component Behaviours - Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Kwiatkowska - Pages 148-168
Probabilistic Abstract Interpretation - Patrick Cousot, Michael Monerau - Pages 169-193
Multiparty Session Types Meet Communicating Automata - Pierre-Malo Deniélou, Nobuko Yoshida - Pages 194-213
Complete Monitors for Behavioral Contracts - Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen - Pages 214-233
A Systematic Approach to Delimited Control with Multiple Prompts - Paul Downen, Zena M. Ariola - Pages 234-253
Generate, Test, and Aggregate - Kento Emoto, Sebastian Fischer, Zhenjiang Hu - Pages 254-273
Trace Spaces: An Efficient New Technique for State-Space Reduction - Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen - Pages 274-294
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
On the Correctness of the SIMT Execution Model of GPUs - Axel Habermaier, Alexander Knapp - Pages 316-335
Reasoning about Lock Placements - Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, Mooly Sagiv - Pages 336-356
Reasoning about Multi-stage Programs - Jun Inoue, Walid Taha - Pages 357-376
Fictional Separation Logic - Jonas Braband Jensen, Lars Birkedal - Pages 377-396
Validating LR(1) Parsers - Jacques-Henri Jourdan, François Pottier, Xavier Leroy - Pages 397-416
Adding Equations to System F Types - Neelakantan R. Krishnaswami, Nick Benton - Pages 417-435
GMeta: A Generic Formal Metatheory Framework for First-Order Representations - Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho, Kwangkeun Yi - Pages 436-455
Expansion for Universal Quantifiers - Sergueï Lenglet, Joe B. Wells - Pages 456-475
Non-monotonic Self-Adjusting Computation - Ruy Ley-Wild, Umut A. Acar, Guy Blelloch - Pages 476-496
Java and the Java Memory Model — A Unified, Machine-Checked Formalisation - Andreas Lochbihler - Pages 497-517
A Type and Effect System for Determinism in Multithreaded Programs - Yi Lu, John Potter, Chenyi Zhang, Jingling Xue - Pages 518-538
Linear Logical Relations for Session-Based Concurrency - Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho - Pages 539-558
Staged Computation with Staged Lexical Scope - Morten Rhiger - Pages 559-578
Gradual Ownership Types - Ilya Sergey, Dave Clarke - Pages 579-599
Notes in Computer Science - Volume 7211
Springer, Paperback, english, 602 pages
