Search the dblp DataBase

Publications of Author

1. Christian Haack, Brian Howard, Allen Stoughton, J. B. Wells
   Fully Automatic Adaptation of Software Components Based on Semantic Specifications. [Citation Graph (0, 0)][DBLP]
   AMAST, 2002, pp:83-98 [Conf]
   
2. Christian Haack, Alan Jeffrey
   Timed Spi-Calculus with Types for Secrecy and Authenticity. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:202-216 [Conf]
   
3. Christian Haack, J. B. Wells
   Type Error Slicing in Implicitly Typed Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:284-301 [Conf]
   
4. J. B. Wells, Christian Haack
   Branching Types. [Citation Graph (0, 0)][DBLP]
   ESOP, 2002, pp:115-132 [Conf]
   
5. Christian Haack, Alan Jeffrey
   Pattern-Matching Spi-Calculus. [Citation Graph (0, 0)][DBLP]
   Formal Aspects in Security and Trust, 2004, pp:55-70 [Conf]
   
6. Christian Haack
   A Decomposition Theorem for Domains. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:124, n:1, pp:62-67 [Journal]
   
7. Christian Haack, Alan Jeffrey
   Pattern-matching spi-calculus. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:8, pp:1195-1263 [Journal]
   
8. Christian Haack, Joe B. Wells
   Type error slicing in implicitly typed higher-order languages. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:50, n:1-3, pp:189-224 [Journal]
   
9. Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert
   Immutable Objects for a Java-Like Language. [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:347-362 [Conf]
   
10. 
    Separation Logic Contracts for a Java-Like Language with Fork/Join. [Citation Graph (, )][DBLP]
    
    
11. 
    Reasoning about Java's Reentrant Locks. [Citation Graph (, )][DBLP]
    
    
12. 
    Type-Based Object Immutability with Flexible Initialization. [Citation Graph (, )][DBLP]