Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 2007
DOI: 10.1145/1244381.1244390
|View full text |Cite
|
Sign up to set email alerts
|

Quasi-terminating logic programs for ensuring the termination of partial evaluation

Abstract: Abstract. A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This notion of quasi-termination, though stronger than related notions that only consider Prolog's computation rule, is essential for ensuring the termination of partial evaluation, where liberal selection policies are often mandatory to achieve a good specialization. In this paper, we introduce sufficient conditions for the strong t… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
33
0

Year Published

2008
2008
2018
2018

Publication Types

Select...
5

Relationship

1
4

Authors

Journals

citations
Cited by 13 publications
(33 citation statements)
references
References 41 publications
0
33
0
Order By: Relevance
“…In this section, we recall the basis of the size-change analysis of [13], which is used to check the (quasi-)termination of a program.…”
Section: Size-change Termination Analysismentioning
confidence: 99%
See 4 more Smart Citations
“…In this section, we recall the basis of the size-change analysis of [13], which is used to check the (quasi-)termination of a program.…”
Section: Size-change Termination Analysismentioning
confidence: 99%
“…For this purpose, some ordering on terms is required. In [13], reduction orders ( , ) induced from symbolic norms || · || are used:…”
Section: Size-change Termination Analysismentioning
confidence: 99%
See 3 more Smart Citations