Title :
Transformational Implementation: An Example
Author_Institution :
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.
Keywords :
Optimization; program manipulation system; program reliability; program transformation; programming techniques; Automatic testing; Computer languages; Control systems; Design optimization; Documentation; Instruments; Magnetic heads; Performance analysis; Performance evaluation; Process design; Optimization; program manipulation system; program reliability; program transformation; programming techniques;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1981.230814
