Accession Number:

ADA053629

Title:

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

Descriptive Note:

Interim rept.,

Corporate Author:

MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1978-02-01

Pagination or Media Count:

44.0

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE