A Logic-Based Programming Methodology.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1977
Accession Number
ADA045231

Entities

People

  • Sharon Sickel

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Calculus
  • California
  • Computations
  • Computer Programming
  • Construction
  • Information Science
  • Language
  • Logic
  • Mathematical Logic
  • Military Research
  • Semantics
  • Specifications
  • Structured Programming
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Software Engineering.