Helmut Seidl (Ed.): 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. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-28868-5- Bjarne Stroustrup: Foundations of C++. 1-25
- Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: What's Decidable about Weak Memory Models? 26-46
- Gilles Barthe, Delphine Demange, David Pichardie: A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. 47-66
- Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv: Eventually Consistent Transactions. 67-86
- Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang: Concurrent Library Correctness on the TSO Memory Model. 87-107
- Rohit Chadha, Stefan Ciobaca, Steve Kremer: Automated Verification of Equivalence Properties of Cryptographic Protocols. 108-127
- Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska: A Compositional Specification Theory for Component Behaviours. 148-168
- Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen: Complete Monitors for Behavioral Contracts. 214-233
- Paul Downen, Zena M. Ariola: A Systematic Approach to Delimited Control with Multiple Prompts. 234-253
- Kento Emoto, Sebastian Fischer, Zhenjiang Hu: Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. 254-273
- Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen: Trace Spaces: An Efficient New Technique for State-Space Reduction. 274-294
- Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan: A Process Algebra for Wireless Mesh Networks. 295-315
- Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Reasoning about Lock Placements. 336-356
- Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi: GMeta: A Generic Formal Metatheory Framework for First-Order Representations. 436-455
- Andreas Lochbihler: Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. 497-517
- Yi Lu, John Potter, Chenyi Zhang, Jingling Xue: A Type and Effect System for Determinism in Multithreaded Programs. 518-538
- Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho: Linear Logical Relations for Session-Based Concurrency. 539-558
- Morten Rhiger: Staged Computation with Staged Lexical Scope. 559-578
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team