Proof of correctness of data representations
- Cite this article as:
- Hoare, C.A.R. Acta Informatica (1972) 1: 271. doi:10.1007/BF00289507
- 417 Downloads
A powerful method of simplifying the proofs of program correctness is suggested; and some new light is shed on the problem of functions with side-effects.