An Experimental Program Transformation and Synthesis System

John Darlington,     Imperial College of Science and Technology, South Kensington, Great Britain


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 O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.