Issue No. 01 - January (1981 vol. 7)
R. Balzer , Information Sciences Institute, University of Southern California
A system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example. The potential benefits and problems of this approach to software implementation are discussed.
program transformation, Optimization, program manipulation system, program reliability, programming techniques
R. Balzer, "Transformational Implementation: An Example," in IEEE Transactions on Software Engineering, vol. 7, no. , pp. 3-14, 1981.