Back to Search
Start Over
A Comparison of the Axiomatic and Functional Models of Structured Programming.
- Source :
- IEEE Transactions on Software Engineering; Sep80, Vol. 6 Issue 5, p454-465, 12p, 11 Diagrams, 2 Charts
- Publication Year :
- 1980
-
Abstract
- This paper discusses axiomatic and functional models of the semantics of structured programming. The models are presented together with their respective methodologies (or proving program correctness and for denying correct programs. Examples using these methodologies are given. Finally, the models are compared and contrasted. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00985589
- Volume :
- 6
- Issue :
- 5
- Database :
- Complementary Index
- Journal :
- IEEE Transactions on Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 14379715