4595 search results - page 574 / 919 » Reasoning about Plans |
WCRE
1999
IEEE
15 years 5 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
101
Voted
LCPC
1999
Springer
15 years 5 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
108
Voted
TACAS
1999
Springer
15 years 5 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
101
click to vote
AMAST
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
110
click to vote
SIGMOD
1998
ACM
15 years 5 months ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...