Predicate Logic: A Calculus for Deriving Programs.

Abstract

Predicate logic is shown to derive programs from axiomatic specifications. Its proof theory can be used to analyze, and re-characterize, the computations of a program.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 31, 1977
Accession Number
ADA045233

Entities

People

  • Keith Clark
  • Sharon Sickel

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Advanced Electronics

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Calculus
  • California
  • Computations
  • Information Science
  • Language
  • Marine Corps
  • Mathematics
  • Military Research
  • Naval Operations
  • New York
  • Specifications
  • Standards
  • Universities