164
click to vote
POPL
15 years 9 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...
167
Voted
POPL
15 years 9 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...
164
click to vote
POPL
15 years 9 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...
148
Voted
POPL
15 years 9 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...
146
click to vote
POPL
15 years 9 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