3342 search results - page 295 / 669 » Automating Abstract Interpretation |
118
click to vote
ICLP
1993
Springer
15 years 8 months ago
1993
Springer
: Copy avoidance refers to the safe replacement, at compile time, of copying operations by destructive updates in single-assignment languages. Conceptually, the problem can be divi...
116
click to vote
ICLP
1994
Springer
15 years 8 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
165
click to vote
PLILP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
128
click to vote
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper addresses the issue of measuring similarity between pieces of uncertain information in the framework of possibility theory. In a first part, natural properties...
107
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...