ESOP 2006
23 papers
- A Basic Contract Language for Web Services
- A Typed Assembly Language for Confidentiality
- A Verification Methodology for Model Fields
- Approaches to Polymorphism in Classical Sequent Calculus
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
- Bisimulations for Untyped Imperative Objects
- Coinductive Big-Step Operational Semantics
- Embedding Dynamic Dataflow in a Call-by-Value Language
- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
- Haskell Is Not Not ML
- ILC: A Foundation for Automated Reasoning About Pointer Programs
- Inference of User-Defined Type Qualifiers and Qualifier Rules
- Linear Regions Are All You Need
- Path Optimization in Programs and Its Application to Debugging
- Polymorphic Type Inference for the JNI
- Pure Pattern Calculus
- Size-Change Termination Analysis in k-Bits
- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
- The Weird World of Bi-directional Programming
- Type Safety of Generics for the .NET Common Language Runtime
- Type-Based Amortised Heap-Space Analysis
- Types for Dynamic Reconfiguration
- Types for Hierarchic Shapes