- Foundations for a tool for the automatic adaptation of software components based on semantic speci cations
- Reasoning about Java's Reentrant Locks Christian Haack1 , Marieke Huisman2 and Clement Hurlin3
- Immutable Objects for a Java-like Language C. Haack1 , E. Poll1, J. Schafer2 , and A. Schubert1,3
- Timed Spi-calculus with Types for Secrecy and Authenticity
- Pattern-Matching Spi-Calculus Christian Haack
- Fully Automatic Adaptation of Software Components Based on Semantic Specifications
- Explicit information flow properties in JML Christian Haack1
- Branching Types J. B. Wells
- Type Error Slicing in Implicitly Typed Higher-Order Languages
- Type Error Slicing in Implicitly Typed Higher-Order Languages
- Immutable Objects for a Java-like Language C. Haack1 , E. Poll1, J. Schafer2 , and A. Schubert1,3
- Type-based Object Immutability with Flexible Initialization
- Reasoning about Java's Reentrant Locks Christian Haack1 , Marieke Huisman2 and Clement Hurlin2
- Separation Logic Contracts for a Java-like Language with Fork/Join
- SN0249-0803ISRNINRIA/RT--6430--FR+ENG INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
- Draft submitted for an IWACO 2008 special issue of the Journal of Object Technology Resource Usage Protocols for Iterators
- Pattern-matching Spi-calculus Christian Haack and Alan Jeffrey
- A Decomposition Theorem for Domains Christian Haack
- A tool for the automatic adaptation of software components based on semantic specifications
- Branching Types J. B. Wells1
