An Early Program Proof by Alan Turing (1984)

F. Lockwood Morris and Cliff B. Jones

Abstract

This paper reproduces, with typographical corrections and comments, a 1949 paper1 by Alan Turing that foreshadows much subsequent work in program proving.

1. Turing, A. M., ``Checking a Large Routine''. In Report of a Conference on High Speed Automatic Calculating Machines, Univ. Math. Lab., Cambridge, pp 67-69 (1949).