ESOP 2008
29 papers
- A Formal Implementation of Value Commitment
- A Hybrid Denotational Semantics for Hybrid Systems
- A Realizability Model for Impredicative Hoare Type Theory
- A Sound Semantics for OCamllight
- A Theory of Hygienic Macros
- Certificate Translation in Abstract Interpretation
- Constructive Mathematics and Functional Programming (Abstract)
- Cover Algorithms and Their Combination
- Full Abstraction for Linda
- Inferring Channel Buffer Bounds Via Linear Programming
- Iterative Specialisation of Horn Clauses
- Just Forget It - The Semantics and Enforcement of Information Erasure
- Linear Declassification
- Non-disjunctive Numerical Domain for Array Predicate Abstraction
- Open Bisimulation for the Concurrent Constraint Pi-Calculus
- Oracle Semantics for Concurrent Separation Logic
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
- Playing with TOY: Constraints and Domain Cooperation
- Practical Programming with Higher-Order Encodings and Dependent Types
- Programming in JoCaml (Tool Demonstration)
- Ranking Abstractions
- Regular Expression Subtyping for XML Query and Update Languages
- Semi-persistent Data Structures
- Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)
- The Conversation Calculus: A Model of Service-Oriented Computation
- Typing Safe Deallocation
- Upper Adjoints for Fast Inter-procedural Variable Equalities
- Verification of Equivalent-Results Methods
- Verification of Higher-Order Computation: A Game-Semantic Approach