Issue No.03 - May (1978 vol.4)
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, 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