A Comparison of the Axiomatic and Functional Models of Structured Programming

This paper discusses 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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. SE-6; no. 5; pp. 454 - 465
Main Authors: Basili, V.R., Noonan, R.E.
Format: Journal Article
Language:English
Published: New York IEEE 01.09.1980
IEEE Computer Society
Subjects:
Algorithms
Axiomatic correctness
Comparative analysis
Computer languages
Computer programming
Computer science
Engineering
Flowcharts
Functional
functional correctness
Functional programming
Guidelines
Mathematical model
Mathematics
Milling machines
program derivation
Programming profession
Semantics
Software
Software engineering
structured programming
ISSN:0098-5589, 1939-3520
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper discusses 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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1980.230494