A transformation tool for pure prolog programs

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

Volumn 1207, Issue , 1997, Pages 130-145

  Brunekreef, Jacob ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; LOGIC PROGRAMMING; SEMANTICS; USER INTERFACES;

ALGEBRAIC SPECIFICATIONS; DESIGN DECISIONS; INTERACTIVE TOOL; PROGRAMMING ENVIRONMENT; PROLOG PROGRAMS; TRANSFORMATION TOOLS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84949428887     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62718-9_8     Document Type: Conference Paper

References (21)

1. O. Aioni. A System for the Automatic Transformation of Logic programs. Technical Report Report R 0195, Electronics Department, University of Roma Tor Vergata, 1995.
2. F. Alexandre, K. Bsaïes, J.P. Finance, and A. Quéré. Spes: A System for Logic Program Transformation. In Proceedings of the International Conference on Logic Programming and Automated reasoning (LPAR '92), LNCS 624, pages 445-447. Springer-Verlag, 1992.
3. M. Baudinet. Logic Programming Semantics: Techniques and Applications. PhD thesis, Stanford University, Stanford, California, 1989.
4. A. Bossi and N. Cocco. Replacement Can Preserve Termination. In this volume.
5. A. Bossi, N. Cocco, and S. Etalle. Transformation of Left Terminating Programs: the Reordering Problem. In LOPSTR '95 - Fifth International Workshop on Logic Program Synthesis and Transformation, number 1048 in LNCS, pages 33-45. Springer-Verlag, 1995.
6. J. J. Brunekreef. A Transformation Tool for Pure Prolog Programs-The Algebraic Specification-. Technical Report P9607, Programming Research Group, University of Amsterdam, 1996.
7. S. Etalle. Transformation and Analysis of (Constraint) Logic Programs. PhD thesis, University of Amsterdam, 1995.
8. J. Gallagher. A system for specialising logic programs. Technical Report TR-91-32, University of Bristol, 1991.
9. N. Jones and A. Mycroft. Stepwise Development of Operational and Denotational Semantics for Prolog. In Proceedings of the 1984 International Symposium on Logic Programming, pages 281-288. IEEE, 1984.
10. J. Jørgensen, M. Leuschel, and B. Martens. Conjunctive Partial Deduction in Practice. In this volume.
11. P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2 (2):176-201, 1993.
12. J. Komorowski. A Prolegomenon to Partial Deduction. Fundamenta Informaticae, 18 (1):41-64, 1993.
13. T.Æ. Mogensen and A. Bondorf. Logimix: A Self-Applicable Partial Evaluator for Prolog. In LOPSTR '92 - Proceedings of the second international workshop on Logic Program Synthesis and Transformation, Workshops in Computing, pages 214-227. Springer-Verlag, 1992.
14. A. Pettorossi and M. Proietti. Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming, 19, 20:261-320, 1994.
15. A. Pettorossi and M. Proietti. Private communication, 1996.
16. S. Prestwitch. Online Partial Deduction of Large Programs. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93), pages 111-118. ACM press, 1993.
17. M. Proietti and A. Pettorossi. Semantics Preserving Transformation Rules for Prolog. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '91). ACM press, 1991.
18. D. Sahlin. The Mixtus Approach to Automatic Partial Evaluation of Full Prolog. In S. Debray and M. Hermenegildo, editors, Proc. of the North American Conf. on Logic Programming, pages 377-398, 1990.
19. H. Seki. Unfold/fold transformation of stratified programs. Theoretical Computer Science, 86:107-139, 1991.
20. H. Tamaki and T. Sato. Unfold/Fold Transformation of Logic Programs. In S.- Å. Tärnlund, editor, Proceedings of the 2nd International Conference on Logic Programming, pages 127-138, Uppsala, Sweden, 1984.
21. T. Traill. Transformation of Logic Programs. Honours Thesis, Dept, of Computer Science, University of Melbourne, 1994.