Accession Number:

ADA045233

Title:

Predicate Logic: A Calculus for Deriving Programs.

Descriptive Note:

Technical rept.,

Corporate Author:

CALIFORNIA UNIV SANTA CRUZ INFORMATION SCIENCES

Personal Author(s):

Report Date:

1977-05-31

Pagination or Media Count:

5.0

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.

Subject Categories:

  • Operations Research
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE