BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-77-611
       ENTRY:: June 28, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: The logic of computer programming
        TYPE:: Technical Report
      AUTHOR:: Manna, Zohar
      AUTHOR:: Waldinger, Richard J.
        DATE:: August 1977
       PAGES:: 88
    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.
       NOTES:: [Adminitrivia V1/Prg/19950628]
         END:: STAN//CS-TR-77-611