The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1981 vol.7)
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. 1, pp. 3-14, January 1981, doi:10.1109/TSE.1981.230814
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool