발행물
컨퍼런스
FOSSACS 2002
2002.04
,
A Semantic Basis for Local Reasoning
CSL 2001
2001.09
Local Reasoning about Programs that Alter Data Structures
FSTTCS 2001
2001.12
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
ICCL 1998
1998.05
Type Reconstruction for Syntactic Control of Interference, Part 2
FOSSACS 2000
2000.04
On the Semantics of Refinement Calculi