A Comparison of the Axiomatic and Functional Models of Structured Programming.

Abstract

This paper discusses the axiomatic and functional models of the semantics of structured programming. The models are presented together with their respective methodologies for proving program correctness and for deriving correct programs. Examples using these methodologies are given. Finally, the models are compared and contrasted. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1978
Accession Number
ADA053629

Entities

People

  • Robert E. Noonan
  • Victor Basili

Organizations

  • University of Maryland

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Algorithms
  • Computer Programming
  • Computer Science
  • Computers
  • Hierarchies
  • Iterations
  • Maryland
  • Mathematics
  • Numbers
  • Prime Numbers
  • Semantics
  • Sequences
  • Specifications
  • Structured Programming
  • Universities

Readers

  • Business Analytics
  • Computational Linguistics