An Axiomatic Basis for Computer Programming
Short Description
tions of computer programming by use of techniques which. were first applied in the study of ….. the axiomatic technique for the definition of programming …
Website: ls14-www.cs.uni-dortmund.de | Filesize: 643kb
Content
An Axiomatic Basis for
Computer Programming
C. A. R. HOARE
The Queen’s University of Belfast,* Northern Ireland
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 elucidation of sets of axioms and rules of inference
which can be used in proofs of the properties of computer
programs. Examples are given of such axioms and rules, and
a formal proof of a simple theorem is displayed. Finally, it is…
Get the file Download here
Related Searches: computer programming c, belfast northern ireland, rules of inference, logical foundations, branches of mathematics
Comments
Leave a Reply
