Ecological partial deduction: Preserving characteristic trees without constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1048, Issue , 1996, Pages 1-16

  Leuschel, Michael ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER CIRCUITS; COMPUTER SOFTWARE REUSABILITY; FORESTRY; FORMAL LOGIC;

FINE GRAINED; LOGIC PROGRAMS; PARTIAL DEDUCTION; UNFOLDING TECHNIQUES;

LOGIC PROGRAMMING;

EID: 84949194362     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60939-3_1     Document Type: Conference Paper

References (24)

1. K. Benkerhni and P. M. Hill. Supporting transformations for the partial evaluation of logic programs. Journal of Logic and Computation, 3(5):469-486, October 1993.
2. K. Benkerimi and J. W. Lloyd. A partial evaluation procedure for logic programs. In S. Debray and M. Hermenegildo, editors, Proceedings of the North American Conference on Logic Programming, pages 343-358. MIT Press, 1990.
3. M. Bruynooghe, D. De Schreye, and B. Martens. A general criterion for avoiding infinite unfolding during partial deduction. New Generation Computing, 11(1):47-79, 1992.
4. J. Gallagher. A system for speciallsing logic programs. Technical Report TR-91-32, University of Bristol, November 1991.
5. J. Gallagher. Tutorial on specialisation of logic programs. In Proceedinga of PEPM'93, the ACM Sigplan Symposium on Partial Eraluation and Semantics- Based Program Manipulation, pages 88-98. ACM Press, 1993.
6. J. Gallagher and M. Bruynooghe. Some low-level transformations for logic programs. In M. Bruynooghe, editor, Proceedings of Meta90 Workshop on Meta Programming in Logic, pages 229-244, Leuven, Belgium, 1990.
7. J. Gallagher and M. Bruynooghe. The derivation of an algorithm for program specialisation. Neel Generation Computing, 9(3 & 4):305-333, 1991.
8. J. Komorowski. An introduction to partial deduction. In A. Pettorossi, editor, Proceedings Mats'92, pages 49-69. Springer-Verlag, LNCS 649, 1992.
9. J. Lam and A. Kusalik. A comparative analysis of partial deductors for pure Prolog. Technical report, Department of Computational Science, University of Saskatchewan, Canada, May 1990. Revised April 1991.
10. J.-L. Lasses, M. Maher, and K. Marriott. Unification revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 587-625. Morgan-Kaufmann, 1988.
11. M. Leuschel. Partial evaluation of the “real thing”. In L. Fribourg and F. Turini, editors, Logic Program Synthesis and Transformation -- Meta-Programming in Logic. Proceedings of L OPSTR '94 and META '94, Lecture Notes in Computer Science 883, pages 122-137, Piss, Italy, June 1994. Springer-Verlag.
12. M. Leuschel and D. De Schreye. An almost perfect abstraction operator for partial deduction. Technical Report CW 199, Departement Computerwetenschappen, K.U. Leuven, Belgium, December 1994.
13. M. Leuschel and D. De Schreye. An almost perfect abstraction operation for partial deduction using characteristic trees. Technical Report CW 215, Departement Computerwetenschappen, K.U. Leuven, Belgium, October 1995. Submitted for Publication. Accessible via http://www.ca.kuleuven.ac.be/1pal.
14. M. Leuschel and B. Martens. Global control for partial deduction through characteristic atoms and global trees. Technical Report CW 220, Departement Computerwetenschappen, K.U. Leuven, Belgium, December 1995. Submitted for Publicstion. Accessible via http://www.ca.kuleuven,ac.be/1pal.
15. M. Leuschel and B. Martens. Partial deduction of the ground representation and its application to integrity checking. In J. Lloyd, editor, Proceedings of ILPS'95, the International Logic Programming Symposium, pages 495-509, Portland, USA, December 1995. MIT Press. Extended version as Technical Report CW 210, K.U. Leuven. Accessible via http://www.ca.kuleuven,ac.be/1pai.
16. J. Lloyd. Foundations of Logic Programming. Springer Verlag, 1987.
17. J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. The Journal of Logic Programming, 11:217-242, 1991.
18. B. Martens. On the Semantics of Meta-Programming and the Control of Partial Deduction in Logic Programming. PhD thesis, K.U. Leaven, February 1994.
19. B. Martens, D. De Schreye, and T. Horváth. Sound and complete partial deduction with unfolding based on well-founded measures. Theoretical Computer Science, 122(1-2):97-117, 1994.
20. B. Martens and J. Gallagher. Ensuring global termination of partial deductio nwhile allowing flexible polyvariance. In L. Sterling, editor, Proceedings ICLP'95, pages 597-613, Kanagawa, Japan, June 1995. MIT Press. Extended version as Technical Report CSTR-94-16, University of Bristol.
21. D. Meulemans. Partiële deductie: Een substantiële vergelijkende studie. Master's thesis, K.U. Leuven, 1995.
22. A. Pettorossi and M. Proietti. Transformation of logic programs: Foundations and techniques. The Journal of Logic Programming, 19 & 20:261-320, May 1994.
23. M. Proietti and A. Pettorossi. The loop absorption and the generalization strategies for the development of logic programs and partial deduction. The Journal of Logic Programming, 16(1 & 2):123-162, May 1993.
24. D. Sahlin. Mixtus: An automatic partial evaluator for full Prolog. New Generation Computing, 12(1):7-51, 1993.