The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May (1978 vol.4)
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, 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
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool