An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations (1996) [21 citations — 7 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Vasconcelos96anopportunistic,author = {Wamberto W. Vasconcelos and Norbert E. Fuchs},
title = {An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations},
booktitle = {In Proceedings of the Fifth International Workshop on Logic Program Synthesis and Transformation (LoPSTr'95},
year = {1996},
pages = {174--188},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
We propose an opportunistic approach for performing program analysis and optimisation: opportunities for improving a logic program are systematically attempted, either by examining its procedures in an isolated fashion, or by checking for conjunctions within clauses that can be used as joint specifications. Opportunities are represented as enhanced schema-based transformations, generic descriptions of inefficient programming constructs and of how these should be altered in order to confer a better computational behaviour on the program. The programming constructs are described in an abstract manner using an enhanced schema language which allows important features to be highlighted and irrelevant details to be disregarded. 1
