The Community for Technology Leaders
Green Image
Issue No. 03 - May (1978 vol. 4)
ISSN: 0098-5589
pp: 199-229
Z. Manna , Department of Applied Mathematics, Weizmann Institute of Science
ABSTRACT
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 and R. Waldinger, "The Logic of Computer Programming," in IEEE Transactions on Software Engineering, vol. 4, no. , pp. 199-229, 1978.
doi:10.1109/TSE.1978.231499
90 ms
(Ver 3.3 (11022016))