B. R. Hunt
Abstract
Reference is made to the paper by C. A. R. Hoare [1] which discusses the fundamentals of an axiomatic approach to computer programming. One advantage for an axiomatic system proposed by Hoare is that an axiomatic description of computer programs would allow the application of deductive inference to formally and conclusively prove that a computer program performs the computation the designer intended. The purpose of this short communication is to discuss the relationship between Hoare's concepts and an approach in a book by Wymore [2].
- 1 HOARE, C. A. R. An axiomatic basis for computer programming. Comm. ACM 12, 10 (Oct. 1969), 576-583. Google Scholar
Digital Library
- 2 WYMORE, A. W. A Mathematical Theory of Systems Engineering. Wiley, New York, 1967, pp. 293-334.Google Scholar
- 3 FLOYD, R. W. Assigning meaning to programs. Proc. AMS Symposia in Applied Mathematics, Vol. 19, pp. 19-32.Google Scholar
Index Terms
- A comment on axiomatic approaches to programming
Recommendations
An axiomatic basis for computer programming
In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the ...
An axiomatic basis for computer programming
Software pioneersIn this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the ...
An axiomatic basis for computer programming
Special 25th Anniversary IssueIn this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the ...
Comments