| Resources, Concurrency, and Local Reasoning / Peter W. O'Hearn |
| Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors / Antoine Miné |
| Strong Preservation as Completeness in Abstract Interpretation / Francesco Ranzato ; Francesco Tapparo |
| Static Analysis of Digital Filters / Jérôme Feret |
| Sound and Decidable Type Inference for Functional Dependencies / Gregory J. Duck ; Simon Peyton-Jones ; Peter J. Stuckey ; Martin Sulzmann |
| Call-by-Value Mixin Modules (Reduction Semantics, Side Effects, Types) / Tom Hirschowitz ; Xavier Leroy ; J.B. Wells |
| ML-Like Inference for Classifiers / Cristiano Calcagno ; Eugenio Moggi ; Walid Taha |
| From Constraints to Finite Automata to Filtering Algorithms / Mats Carlsson ; Nicolas Beldiceanu |
| A Memoizing Semantics for Functional Logic Languages / Salvador España ; Vicent Estruch |
| Adaptive Pattern Matching on Binary Data / Per Gustafsson ; Konstantinos Sagonas |
| Compositional Analysis of Authentication Protocols / Michele Bugliesi ; Riccardo Focardi ; Matteo Maffei |
| A Distributed Abstract Machine for Boxed Ambient Calculi / Andrew Phillips ; Nobuko Yoshida ; Susan Eisenbach |
| A Dependently Typed Ambient Calculus / Cédric Lhoussaine ; Vladimiro Sassone |
| A Control Flow Analysis for Safe and Boxed Ambients / Francesca Levi ; Chiara Bodei |
| Linear Types for Packet Processing / Robert Ennals ; Richard Sharp ; Alan Mycroft |
| Modal Proofs as Distributed Programs / Limin Jia ; David Walker |
| ULM: A Core Programming Model for Global Computing / Gérard Boudol |
| A Semantic Framework for Designer Transactions / Jan Vitek ; Suresh Jagannathan ; Adam Welc ; Antony L. Hosking |
| Semantical Analysis of Specification Logic, 3 (An Operational Approach) / Dan R. Ghica |
| Answer Type Polymorphism in Call-by-Name Continuation Passing / Hayo Thielecke |
| System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types / Sébastien Carlier ; Jeff Polakow ; A.J. Kfoury |
| A Hardest Attacker for Leaking References / René Rydhof Hansen |
| Trust Management in Strand Spaces: A Rely-Guarantee Method / Joshua D. Guttman ; F. Javier Thayer ; Jay A. Carlson ; Jonathan C. Herzog ; John D. Ramsdell ; Brian T. Sniffen |
| Just Fast Keying in the Pi Calculus / MartÃn Abadi ; Bruno Blanchet ; Cédric Fournet |
| Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation / Vitaly Shmatikov |
| Functors for Proofs and Programs / Jean-Christophe Filliâtre ; Pierre Letouzey |
| Extracting a Data Flow Analyser in Constructive Logic / David Cachera ; Thomas Jensen ; David Pichardie ; Vlad Rusu |
| Canonical Graph Shapes / Arend Rensink |
| Author Index |
| Resources, Concurrency, and Local Reasoning / Peter W. O'Hearn |
| Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors / Antoine Miné |
| Strong Preservation as Completeness in Abstract Interpretation / Francesco Ranzato ; Francesco Tapparo |
| Static Analysis of Digital Filters / Jérôme Feret |
| Sound and Decidable Type Inference for Functional Dependencies / Gregory J. Duck ; Simon Peyton-Jones ; Peter J. Stuckey ; Martin Sulzmann |
| Call-by-Value Mixin Modules (Reduction Semantics, Side Effects, Types) / Tom Hirschowitz ; Xavier Leroy ; J.B. Wells |
