3342 search results - page 295 / 669 » Automating Abstract Interpretation |
158
click to vote
ICLP
1993
Springer
15 years 10 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...
151
click to vote
ICLP
1994
Springer
15 years 10 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...
207
click to vote
PLILP
1994
Springer
15 years 10 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...
169
click to vote
ECSQARU
2007
Springer
15 years 10 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...
151
click to vote
ICLP
2010
Springer
15 years 10 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...