An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations

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

Volumn 1048, Issue , 1996, Pages 174-188

  Vasconcelos, Wamberto W ^a,b   Fuchs, Norbert E ^a  

^a UNIVERSITY OF ZURICH   (Switzerland)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC;

IMPORTANT FEATURES; LOGIC PROGRAM ANALYSIS; LOGIC PROGRAMS; OPTIMISATIONS; PROGRAM ANALYSIS; SCHEMA LANGUAGE;

LOGIC PROGRAMMING;

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

References (15)

1. A. Bowles, D. Robertson, W. Vasconcelos, M. Vargas-Vera, D. Bental. Applying Prolog Programming Techniques. International Journal of Human-Computer Studies, 41(3):329-350, September 1994.
2. P. Fiener. Logic Program Schemata: Synthesis and Analysis. Technical Report BU-CEIS-9502, Bilkent University, Ankara, Turkey, 1995.
3. P. Flener, Y. Deville. Logic Program Transformation through Generalization Schemata. Extended abstract accepted for LoPSTr’95 (Utrecht, the Netherlands, 20-22 September, 1995)
4. N. E. Fuchs and M. P. J. Fromherz. Schema-Based Transformations of Logic Programs. In: Proceedings of the Workshop in Logic Program Synthesis and Transformation (LoPSTr’91), Springer-Verlag, 1992.
5. T. S. Gegg-Harrison. Learning Prolog in a Schema-Based Environment. Instructional Science, 20:173-192, 1991.
6. M. Kirscheribaum, S. Michaylov, and L. Sterling. Skeletons and Techniques as a Normative Approach to Program Development in Logic-Based Languages. OSU-CISRC-5/94-TR25, Dept. of Computer and Information Science, Ohio State University, Ohio, U.S.A., 1994.
7. A. Lakhotia and L. Sterling. How to Control Unfolding when Specialising Interpreters. In The Practice of Prolog, h. Sterling (Ed.), MIT Press, 1990.
8. H. R. Nielson and F. Nielson. Eureka Definitions for Free - Disagreement Points for Fold/Unfold Transformations. In Proceedings of ESOP’90, Lecture Notes in Computer Science 432, pp. 291-305, Springer-Verlag, 1990.
9. R. A. O’Keefe. The Craft of Prolog. MIT Press, 1990.
10. M. Proietti and A. Pettorossi. Synthesis of Eureka Predicates for Developing Logic Programs. In Proceedings of ESOP’90, Lecture Notes in Computer Science 432, pp. 306-325, Springer-Verlag, 1990.
11. D. Robertson. A Simple Prolog Techniques Editor for Novice Users. In Proceedings of 3rd Annual Conference on Logic Programming, Edinburgh, Scotland, April 1991. Springer-Verlag.
12. L. Sterling and E. Y. Shapiro. The Art of Prolog: Advanced Programming Techniques. Second Edition. MIT Press, 1994.
13. M. Vargas-Vera. Using Prolog Techniques to Guide Program Composition. PhD Thesis. University of Edinburgh. Edinburgh, Scotland, 1995.
14. M. Vargas-Vera, D. Robertson, W. W. Vasconcelos. Building Large-Scale Prolog Programs using a Techniques Editing System. Technical Report 635. Department of Artificial Intelligence, University of Edinburgh. Edinburgh, Scotland, 1993.
15. W. W. Vasconcelos and N. E. Fuchs. Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation. Technical Report 95-24. Institut für Informatik, Universität Zürich, August 1995.