Opportunistic Logic Program Analysis and Optimisation: Enhanced SchemaBased Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation (1995) [7 citations — 6 self]

Download:

by Wamberto W. Vasconcelos, Norbert E. Fuchs

Technical Report 95.24, Institut fur Informatik, Universitat

ftp://ftp.dai.ed.ac.uk/pub/user/wamb/ifi-95.24.ps.gz

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Vasconcelos95opportunisticlogic,
    author = {Wamberto W. Vasconcelos and Norbert E. Fuchs},
    title = {Opportunistic Logic Program Analysis and Optimisation: Enhanced SchemaBased Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation},
    booktitle = {Technical Report 95.24, Institut fur Informatik, Universitat},
    year = {1995}
}

Abstract:

A program schema is a generic description of a logic program highlighting important features and suppressing unimportant ones. A schema-based transformation is an abstract description of syntactic changes that transform programs into more efficient ones while preserving their meaning. We define an enhanced schema language that can be used to describe concisely a very large class of logic programs and their transformations. We present a realistic framework to automatically transform a complete program in an opportunistic way: all available schema-based transformations are systematically matched against the program, and if the matching is successful, the suggested alterations are carried out. Heuristic selection criteria guarantee that the optimal sequence of transformations is performed. We have implemented OpTiS, a prototypical transformation system, based on these ideas. 1

Citations

212	Sato T.: Unfold/Fold Transformations of Logic Programs – Tamaki - 1984
128	The Craft of Prolog – O’KEEFE - 1994
66	Logic Programming: Systematic Program Development – Deville - 1990
39	Applying Techniques to Skeletons – Kirschenbaum, Sterling - 1993
34	Schema-Based Transformations of Logic Programs – Fuchs, Fromherz - 1992
25	A Simple Prolog Techniques Editor for Novice Users – Robertson - 1991
21	Basic Prolog Schemata – Gegg-Harrison - 1989
21	Learning Prolog in a Schema-Based Environment – Gegg-Harrison - 1991
20	Synthesis of eureka predicates for developing logic programs – Proietti, Pettorossi - 1990
18	Applying Prolog programming techniques – Vasconcelos - 1994
12	Logic Program Transformation Through Generalization th Schemata – Flener, Deville - 1995
12	Skeletons and Techniques as a Normative Approach to Program Development in Logic-Based Languages – Kirschenbaum, Michaylov, et al. - 1994
6	Logic Program Schemata: Synthesis and Analysis – Flener - 1995
6	Building Large-Scale Prolog Programs using a Techniques Editing System. Research Paper 635 – Vargas-Vera, Robertson, et al. - 1993
5	How to Control Unfolding when Specialising Interpreters – Lakhotia, Sterling - 1990
5	Eureka Definitions for Free -- Disagreement Points for Fold/Unfold Transformations – Nielson, Nielson - 1990
5	Using Prolog Techniques to Guide Program Composition – Vargas-Vera - 1995

View or Download | Add to My Collection | Correct Errors