Searching for authors named "Christian Haack" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
A Decomposition Theorem for Domains
- …A Decomposition Theorem for Domains Christian Haack Department of Computing and Information…
- Add To MetaCart
-
Type-based Object Immutability with Flexible Initialization
- …Type-based Object Immutability with Flexible Initialization Christian Haack ⋆ and Erik Poll…
- Add To MetaCart
-
Pattern-Matching Spi-Calculus
- …Pattern-matching Spi-calculus Christian Haack and Alan Jeffrey DePaul University Abstract…
- Cited by 8 (0 self) – Add To MetaCart
-
Type Error Slicing in Implicitly Typed Higher-Order Languages
- …Abstract Type Error Slicing in Implicitly Typed Higher-Order Languages ⋆ Christian Haack De…
- Cited by 34 (3 self) – Add To MetaCart
-
Branching Types
- …Branching Types ∗ J. B. Wells † Christian Haack 2002-08-18 Abstract Although systems…
- Cited by 8 (4 self) – Add To MetaCart
-
Timed spi-calculus with types for secrecy and authenticity
- …Timed Spi-calculus with Types for Secrecy and Authenticity ⋆ Christian Haack 1 and Alan Jeffrey 1…
- Cited by 6 (1 self) – Add To MetaCart
-
Explicit information flow properties in JML
- …Explicit information flow properties in JML Christian Haack 1 , Erik Poll 1 , and Aleksy Schubert…
- Cited by 1 (0 self) – Add To MetaCart
-
1.1 The Problem of Unstable Interfaces
- …Fully Automatic Adaptation of Software Components Based on Semantic Specifications ⋆ Christian…
- Add To MetaCart
-
Using the Smash Product to Compose Data Flow Analyses
- …Using the Smash Product to Compose Data Flow Analyses Ionut Buricea, Christian Haack, Corina…
- Add To MetaCart
Showing 1 through 9.
