199
Voted
POPL
16 years 1 months ago
2005 ACM 
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
203
Voted
POPL
16 years 1 months ago
2005 ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
212
Voted
POPL
16 years 1 months ago
2005 ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
183
Voted
POPL
16 years 1 months ago
2005 ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
181
Voted
POPL
16 years 1 months ago
2005 ACM 
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
|
Programming Languages