An axiomatic basis for computer programming

An axiomatic basis for computer programming (1969)

by C. A. R. Hoare

Venue:	COMMUNICATIONS OF THE ACM
Citations:	1219 - 4 self

Datum	Value	Source
TITLE	An axiomatic basis for computer programming	INFERENCE
AUTHOR NAME	C. A. R. Hoare	SVM HeaderParse 0.2
AUTHOR AFFIL	The Queen's University of Belfast, * Northern Ireland	SVM HeaderParse 0.2
ABSTRACT	In this paper an attempt is made to explore the logical founda-tions 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 in-volves 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 prac-tical, may follow from a pursuance of these topics. KEY WORDS AND PHRASES: axiomatic method, theory of programming' proofs of programs, formal language definition, programming language	SVM HeaderParse 0.2
YEAR	1969	INFERENCE
VENUE	Communications of the ACM	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	576--580	INFERENCE
VOLUME	12	INFERENCE
CITATIONS	9 found	ParsCit 1.0