A Practical Approach for Logic Program Analysis and Transformation
Download:
|
|
by Wamberto Weber, Vasconcelos Eudenia, Xavier Meneses
http://www.dai.ed.ac.uk/daidb/students/wamb/mic70.ps.gz
Add To MetaCart
Abstract:
Abstract. In this work we define a schematic language to concisely describe classes of logic programs. We show how our proposed formalism can be profitably employed to represent opportunities for program optimisation: we schematically specify commonly occurring inefficient portions of code and how these can be altered to improve the performance of programs. We have defined a fully automated approach to exploit these opportunities for the analysis and transformation of logic programs.
Citations
| 556 | The Art of Prolog – Sterling, Shapiro - 1986 |
| 305 | Principles of Program Analysis – Nielson, Nielson, et al. - 1999 |
| 157 | From Logic Programming to Prolog – Apt - 1997 |
| 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 | Warren's Abstract Machine – Ait-Kaci - 1991 |
| 11 | Development of correct transformation schemata for Prolog programs – Richardson, Fuchs - 1997 |
| 9 | Future directions in program transformations – Paige - 1996 |
| 3 | Automatic Bottom-Up Analysis and Transformation of Logic Programs – Vasconcelos, Aragao, et al. - 1996 |
| 1 | Schema-Based Transformations of Logic Programs – Springer - 1998 |
| 1 | Automatic Extraction of Logic Program Transformations from Examples – Vasconcelos, Aragao - 1999 |
| 1 | Term Rewriting Systems: Theory and an Application. MSc – Springer - 1996 |
