Report Number: CS-TR-77-611
Institution: Stanford University, Department of Computer Science
Title: The logic of computer programming
Author: Manna, Z ohar
Author: Waldinger, Richard J.
Date: August 1977
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.
This paper provides a unified tutorial exposition of the
logical techniques, illustrating each with examples. The
strengths and limitations of each technique as a practical
programming aid are assessed and attempts to implement these
methods in experimental systems are discussed.