DocumentCode
751604
Title
A Comparison of the Axiomatic and Functional Models of Structured Programming
Author
Basili, Victor R. ; Noonan, Robert E.
Author_Institution
Department of Computer Science, University of Maryland
Issue
5
fYear
1980
Firstpage
454
Lastpage
465
Abstract
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.
Keywords
Axiomatic correctness; functional correctness; program derivation; structured programming; Computer languages; Computer science; Flowcharts; Functional programming; Guidelines; Mathematical model; Mathematics; Milling machines; Programming profession; Axiomatic correctness; functional correctness; program derivation; structured programming;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1980.230494
Filename
1702762
Link To Document