Automatic Bottom-Up Analysis and Transformation of Logic Programs (1996) [3 citations — 2 self]

Download:

by Wamberto W. Vasconcelos, Marcelo A. T. Arag~ao, Norbert E. Fuchs

In LNAI

http://www.dai.ed.ac.uk/daidb/students/wamb/sbia96.ps.gz

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Vasconcelos96automaticbottom-up,
    author = {Wamberto W. Vasconcelos and Marcelo A. T. Arag~ao and Norbert E. Fuchs},
    title = {Automatic Bottom-Up Analysis and Transformation of Logic Programs},
    booktitle = {In LNAI},
    year = {1996},
    publisher = {Springer}
}

Abstract:

Abstract. The comparatively small size and clean declarative semantics of logic programs hide performance issues that must be accounted for if the programs are to be executed using the currently available technology. Proposals have been made to tackle these computational issues by analysing a program and trying to optimise its code. We introduce a bottom-up method for analysing logic programs. The method incrementally builds self-contained subtheories of the initial program, starting from facts and then picking up more complex clauses that depend on simpler, previously analysed constructs. A transformation system is then applied to these subtheories yielding more efficient subprograms. Eventually a subtheory that encompasses the full initial program is obtained.

Citations

140	Transformation of Logic Programs: Foundations and Techniques – Pettorossi, Proietti - 1994
131	Proving and applying program transformations expressed with second-order patterns – Huet, Lang - 1978
34	Schema-Based Transformations of Logic Programs – Fuchs, Fromherz - 1992
25	A Simple Prolog Techniques Editor for Novice Users – Robertson - 1991
21	An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformath tions – Vasconcelos, Fuchs - 1995
7	A bottom-up analysis toolkit – Gallagher - 1995
7	Opportunistic Logic Program Analysis and Optimisation: Enhanced SchemaBased Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation – Vasconcelos, Fuchs - 1995
5	How to Control Unfolding when Specialising Interpreters – Lakhotia, Sterling - 1990
4	Best-first strategies for incremental transformations of logic programs – Proietti, Pettorossi - 1992
4	Prolog Program Development via Enhanced Schema-Based Transformations – Vasconcelos, Fuchs - 1996
1	Proving Schema-Based Transformations for Logic Programs. Extended Abstract – Vasconcelos, Aragao - 1996

View or Download | Add to My Collection | Correct Errors