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 |