This paper concentrates on the practical aspects of a program transformation system being developed. It describes the present performance of the system and outlines the techniques and heuristics used.
Received 21 May 1979
Program transformation is a way of aiding the production of reliable, efficient programs. Programmers are encouraged to postpone questions of efficiency and first write their programs as clearly as possible. These programs are then transformed (either manually or automatically) into efficient versions by applying transformations that preserve ...