131
click to vote
LOPSTR
15 years 7 months ago
2004 Springer 
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
125
click to vote
LOPSTR
15 years 7 months ago
2004 Springer 
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
125
click to vote
LOPSTR
15 years 7 months ago
2004 Springer 
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
122
click to vote
LOPSTR
15 years 7 months ago
2004 Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
119
click to vote
LOPSTR
15 years 7 months ago
2004 Springer 
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
|
Automated Reasoning