An Experimental Program Transformation and Synthesis System
John Darlington, Imperial College of Science and Technology, South Kensington, Great Britain
ABSTRACT
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
1 Introduction
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 ...
Get Readings in Artificial Intelligence and Software Engineering now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
