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
ABSTRACT
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.
INDEX TERMS
program transformation, Optimization, program manipulation system, program reliability, programming techniques
CITATION
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
86 ms
(Ver 3.1 (10032016))