Abstract | ||
---|---|---|
One of the most important challenges in partial evaluation is the design of automatic methods for ensuring the termination of the process. In this work, we introduce sufficient conditions for the strong (i.e., independent of a computation rule) termination and quasi-termination of logic programs which rely on the construction of size-change graphs. We then present a fast binding-time analysis that takes the output of the termination analysis and annotates logic programs so that partial evaluation terminates. In contrast to previous approaches, the new binding-time analysis is conceptually simpler and considerably faster, scaling to medium-sized or even large examples. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1016/j.ic.2014.01.005 | Inf. Comput. |
Keywords | Field | DocType |
partial evaluation,important challenge,annotates logic program,partial evaluation terminates,logic program,automatic method,termination analysis,fast binding-time analysis,new binding-time analysis,computation rule,offline partial evaluation,logic programming | Graph,Computer science,Partial evaluation,Theoretical computer science,Termination analysis,Logic programming,Scaling,Computation | Journal |
Volume | ISSN | Citations |
235 | 0890-5401 | 4 |
PageRank | References | Authors |
0.41 | 37 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Leuschel | 1 | 2156 | 135.89 |
Germán Vidal | 2 | 549 | 44.64 |