An Axiomatic Basis for Computer Programming

Download PDF
10 downloads 1652 Views 2MB Size Report
Comment
An Axiomatic Basis for. Computer Programming. C. A. R. HOARE. The Queen's University of Belfast,* Northern I relanrl. In this paper an attempt is made to ...