This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
May 1978 (vol. 4 no. 3)
pp. 199-229
Z. Manna, Department of Applied Mathematics, Weizmann Institute of Science
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to lead to the automation of many of the facets of the programming process.
Index Terms:
termination of programs, Correctness of programs, derivation of programs, program extension, program modification, program synthesis, program transformation, program verification, structured programming, systematic program development
Citation:
Z. Manna, R. Waldinger, "The Logic of Computer Programming," IEEE Transactions on Software Engineering, vol. 4, no. 3, pp. 199-229, May 1978, doi:10.1109/TSE.1978.231499
Usage of this product signifies your acceptance of the Terms of Use.