An Axiomatic Basis for Computer Programming

10 downloads 1652 Views 2MB Size Report
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 ...