Access Restriction

Author Hoare, C. A. R.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Program documentation ♦ Theory of programming ♦ Axiomatic method ♦ Machine-independent programming ♦ Programming language design ♦ Formal language definition ♦ Proofs of program ♦ Proofs of programs
Abstract 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 argued that important advantages, both theoretical and practical, may follow from a pursuance of these topics.
Description Affiliation: Queen's Univ. of Belfast, Belfast, Northern Ireland (Hoare, C. A. R.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 26
Issue Number 1
Page Count 4
Starting Page 53
Ending Page 56

Open content in new tab

   Open content in new tab
Source: ACM Digital Library