Now showing items 1-1 of 1
Interactive program verification using virtual programs
(The University of Edinburgh, 1975)
This thesis is concerned with ways of proving the correctness of computer programs. The first part of the thesis presents a new method for doing this. The method, called continuation induction, is based on the ideas ...