This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Comparison of the Axiomatic and Functional Models of Structured Programming
September 1980 (vol. 6 no. 5)
pp. 454-465
V.R. Basili, Department of Computer Science, University of Maryland
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.
Index Terms:
structured programming, Axiomatic correctness, functional correctness, program derivation
Citation:
V.R. Basili, R.E. Noonan, "A Comparison of the Axiomatic and Functional Models of Structured Programming," IEEE Transactions on Software Engineering, vol. 6, no. 5, pp. 454-465, Sept. 1980, doi:10.1109/TSE.1980.230494
Usage of this product signifies your acceptance of the Terms of Use.