Now showing items 1-2 of 2
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 ...
Applied logic : its use and implementation as a programming tool
(The University of Edinburgh, 1978)
The first Part of the thesis explains from first principles the concept of "logic programming" and its practical application in the programming language Prolog. Prolog is a simple but powerful language which encourages ...