This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
July 1979 (vol. 5 no. 4)
pp. 294-328
Z. Manna, Department of Computer Science, Stanford University, Stanford, CA 94305, and with the Department of Applied Mathematics, Weizmann Institute of Science
Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed. The basic approach is to transform the specifications repeatedly according to certain rules, until a satisfactory program is produced. The rules are guided by a number of strategic controls. These techniques have been incorporated in a running program-synthesis system, called DEDALUS.
Index Terms:
transformation of programs, Data abstraction, derivation of programs, modification of programs, programming methodology, specification of programs, structured programming, synthesis of programs, systematic program development
Citation:
Z. Manna, R. Waldinger, "Synthesis: Dreams ? Programs," IEEE Transactions on Software Engineering, vol. 5, no. 4, pp. 294-328, July 1979, doi:10.1109/TSE.1979.234198
Usage of this product signifies your acceptance of the Terms of Use.