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
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.
termination of programs, Correctness of programs, derivation of programs, program extension, program modification, program synthesis, program transformation, program verification, structured programming, systematic program development

Z. Manna and R. Waldinger, "The Logic of Computer Programming," in IEEE Transactions on Software Engineering, vol. 4, no. , pp. 199-229, 1978.
90 ms
(Ver 3.3 (11022016))