Global control for partial deduction through characteristic atoms and global trees
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 263-283
- https://doi.org/10.1007/3-540-61580-6_13
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Ecological partial deduction: Preserving characteristic trees without constraintsPublished by Springer Nature ,1996
- Sound and complete partial deduction with unfolding based on well-founded measuresTheoretical Computer Science, 1994
- Loop checking in partial deductionThe Journal of Logic Programming, 1993
- Deletion of Redundant Unary Type Predicates from Logic ProgramsPublished by Springer Nature ,1993
- A general criterion for avoiding infinite unfolding during partial deductionNew Generation Computing, 1992
- An introduction to partial deductionPublished by Springer Nature ,1992
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- The derivation of an algorithm for program specialisationNew Generation Computing, 1991
- Rewrite SystemsPublished by Elsevier ,1990
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987