94 search results - page 1 / 19 » Computability and Complexity Results for a Spatial Assertion... |
114
Voted
FSTTCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
110
Voted
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
217
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of the program. This well-studied problem plays a cruci...
136
Voted
GEOINFORMATICA
2008
15 years 2 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
110
Voted
PPOPP
1995
ACM
15 years 6 months ago
1995
ACM
paper we describe d/streams, a language-independent abstraction with a small set of simple primitives for buffered I/O on distributed data-structures. We describe the interface an...