Development of correct transformation schemata for prolog programs

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

Volumn 1463, Issue , 1998, Pages 263-281

  Richardson, Julian ^a   Fuchs, Norbert ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER CIRCUITS; FORMAL LOGIC; LOGIC PROGRAMMING; SEMANTICS;

HIGHER-ORDER; ITS APPLICATIONS; LOGIC PROGRAMS; OPTIMISATIONS; PROGRAM TRANSFORMATIONS; PROLOG PROGRAMS; SCHEMA DEVELOPMENT; SCHEMA TRANSFORMATION;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84897781168     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49674-2_14     Document Type: Conference Paper

References (8)

1. Alan Bundy. The Computer Modelling of Mathematical Reasoning. Academic Press, 1983. Second Edition.
2. Alan Bundy. The use of explicit plans to guide inductive proofs. In R. Lusk and R. Overbeek, editors, 9th Conference on Automated Deduction, pages 111-120. Springer-Verlag, 1988. Longer version available from Edinburgh as DAI Research Paper № 349.
3. H. Büyükyildiz and P. Flener. Generalized logic program transformation schemas. In N. E. Fuchs, editor, LOPSTR '97: Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 10-12 1997 (this volume). Lecture Notes in Computer Science, Springer Verlag, forthcoming, 1998.
4. E. Chasseur and Y. Deville. Logic program schemas, constraints and semiunification. In N. E. Fuchs, editor, LOPSTR '97: Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 10-12 1997 (this volume). Lecture Notes in Computer Science, Springer Verlag, forthcoming, 1998.
5. P. Flener, K.-K. Lau, and M. Ornaghi. On correct program schemas. In N. E. Fuchs, editor, LOPSTR '97: Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 10-12 1997 (this volume). Lecture Notes in Computer Science, Springer Verlag, forthcoming, 1998.
6. A. Pettorossi and M. Proietti. Transformation of logic programs: Foundations and techniques. Journal of Logic Programming, 19/20:261-320, 1994.
7. Zoltan Somogyi, Fergus Henderson, and Thomas Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1):17-64, October 1996.
8. W. W. Vasconcelos and N.E. Fuchs. An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations. In Proceedings of LoPSTr '95, Fifth International Workshop on Logic Program Synthesis and Transformation, Utrecht, Netherlands, volume 1048 of Lecture Notes in Computer Science, pages 175-188. Springer Verlag, 1996.