The Community for Technology Leaders
Green Image
Issue No. 01 - January (1981 vol. 7)
ISSN: 0098-5589
pp: 3-14
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. , pp. 3-14, January 1981, doi:10.1109/TSE.1981.230814
115 ms
(Ver 3.1 (10032016))