940 search results - page 12 / 188 » Local rely-guarantee reasoning |
PPDP
1999
Springer
14 years 2 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
DAGSTUHL
2007
13 years 11 months ago
2007
VL
2006
IEEE
14 years 3 months ago
2006
IEEE
Although researchers have developed several ways to reason about the location of faults in spreadsheets, no single form of reasoning is without limitations. Multiple types of erro...
ICCBR
2007
Springer
14 years 4 months ago
2007
Springer
The aim of this paper is to analyze how the generalizations built by a CBR method can be used as local approximations of a concept. From this point of view, these local approximati...
GIS
2007
ACM
13 years 9 months ago
2007
ACM