DocumentCode
751955
Title
Transformational Implementation: An Example
Author
Balzer, Robert
Author_Institution
Information Sciences Institute, University of Southern California
Issue
1
fYear
1981
Firstpage
3
Lastpage
14
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1981.230814
Filename
1702797
Link To Document