The Logic of Computer Programming.

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. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1977
Accession Number
ADA046703

Entities

People

  • Richard Waldinger
  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Automatic
  • Automatic Programming
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • High Level Languages
  • Language
  • New York
  • Programming Languages
  • Software Development
  • Structured Programming
  • Theory Of Computation

Readers

  • Computer Science.
  • Systems Analysis and Design