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", IEEE Transactions on Software Engineering, vol.7, no. 1, pp. 3-14, January 1981, doi:10.1109/TSE.1981.230814