Title :
The Logic of Computer Programming
Author :
Manna, Zohar ; Waldinger, Richard
Author_Institution :
Department of Applied Mathematics, Weizmann Institute of Science
fDate :
5/1/1978 12:00:00 AM
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.
Keywords :
Correctness of programs; derivation of programs; program extension; program modification; program synthesis; program transformation; program verification; structured programming; systematic program development; termination of programs; Artificial intelligence; Automatic programming; Automation; Computer errors; Contracts; Debugging; Laboratories; Logic programming; Mathematics; Optimization methods; Correctness of programs; derivation of programs; program extension; program modification; program synthesis; program transformation; program verification; structured programming; systematic program development; termination of programs;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1978.231499
