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

Marketing Automation Platform Marketing Automation Tool