default search action
21. ESOP 2012: Tallinn, Estonia (Part of ETAPS 2012)
- Helmut Seidl:
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. Lecture Notes in Computer Science 7211, Springer 2012, 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 - Stephen Chang
The Call-by-Need Lambda Calculus, Revisited. 128-147 - Taolue Chen
A Compositional Specification Theory for Component Behaviours. 148-168 - Patrick Cousot, Michael Monerau:
Probabilistic Abstract Interpretation. 169-193 - Pierre-Malo Deniélou, Nobuko Yoshida
Multiparty Session Types Meet Communicating Automata. 194-213 - Christos Dimoulas
Complete Monitors for Behavioral Contracts. 214-233 - Paul Downen
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
Trace Spaces: An Efficient New Technique for State-Space Reduction. 274-294 - Ansgar Fehnker
A Process Algebra for Wireless Mesh Networks. 295-315 - Axel Habermaier, Alexander Knapp:
On the Correctness of the SIMT Execution Model of GPUs. 316-335 - Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Reasoning about Lock Placements. 336-356 - Jun Inoue, Walid Taha:
Reasoning about Multi-stage Programs. 357-376 - Jonas Braband Jensen, Lars Birkedal:
Fictional Separation Logic. 377-396 - Jacques-Henri Jourdan
Validating LR(1) Parsers. 397-416 - Neelakantan R. Krishnaswami, Nick Benton:
Adding Equations to System F Types. 417-435 - Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi:
GMeta: A Generic Formal Metatheory Framework for First-Order Representations. 436-455 - Sergueï Lenglet, Joe B. Wells:
Expansion for Universal Quantifiers. 456-475 - Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch:
Non-monotonic Self-Adjusting Computation. 476-496 - Andreas Lochbihler
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. 497-517 - Yi Lu, John Potter, Chenyi Zhang
A Type and Effect System for Determinism in Multithreaded Programs. 518-538 - Jorge A. Pérez
Linear Logical Relations for Session-Based Concurrency. 539-558 - Morten Rhiger:
Staged Computation with Staged Lexical Scope. 559-578 - Ilya Sergey
Gradual Ownership Types. 579-599
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 18:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: