Accession Number:

ADA045231

Title:

A Logic-Based Programming Methodology.

Descriptive Note:

Technical rept.,

Corporate Author:

CALIFORNIA UNIV SANTA CRUZ INFORMATION SCIENCES

Personal Author(s):

Report Date:

1977-03-01

Pagination or Media Count:

10.0

Abstract:

This paper describes a method of program construction that combines some contributions in structured programming, program verification and program synthesis. This method has start-to-finish continuity within mathematical logic. Author

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software
  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE