531 search results - page 24 / 107 » Data structure repair using goal-directed reasoning |
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
KDD
2007
ACM
14 years 8 months ago
2007
ACM
XML has become a popular method of data representation both on the web and in databases in recent years. One of the reasons for the popularity of XML has been its ability to encod...
ICDT
2007
ACM
14 years 2 months ago
2007
ACM
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...
ADBIS
2005
Springer
14 years 2 months ago
2005
Springer
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...
CC
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...