Rules and Strategies for Transforming Functional and Logic Programs (1996)
| Venue: | ACM Computing Surveys |
| Citations: | 68 - 3 self |
BibTeX
@ARTICLE{Pettorossi96rulesand,
author = {A. Pettorossi and M. Proietti and R. Dicembre},
title = {Rules and Strategies for Transforming Functional and Logic Programs},
journal = {ACM Computing Surveys},
year = {1996},
volume = {28},
pages = {360--414}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present an overview of the program transformation methodology, focusing our attention on the so-called `rules + strategies' approach in the case of functional and logic programs. The paper is intended to offer an introduction to the subject. The various techniques we present are illustrated via simple examples. A preliminary version of this report has been published in: Moller, B., Partsch, H., and Schuman, S. (eds.): Formal Program Development. Lecture Notes in Computer Science 755, Springer Verlag (1993) 263--304. Also published in: ACM Computing Surveys, Vol 28, No. 2, June 1996. 3 1 Introduction The program transformation approach to the development of programs has first been advocated by [Burstall-Darlington 77], although the basic ideas were already presented in previous papers by the same authors [Darlington 72, Burstall-Darlington 75]. In that approach the task of writing a correct and efficient program is realized in two phases: the first phase consists in writing an in...
