The Community for Technology Leaders
Green Image
Issue No. 02 - April-June (1984 vol. 6)
ISSN: 1058-6180
pp: 139-143
ABSTRACT
<p>The paper reproduces, with typographical corrections and comments, a 1949 paper by Alan Turing that foreshadows much subsequent work in program proving.</p>
INDEX TERMS
CITATION
F.L. Morris, C.B. Jones, "An Early Program Proof by Alan Turing", IEEE Annals of the History of Computing, vol. 6, no. , pp. 139-143, April-June 1984, doi:10.1109/MAHC.1984.10017
91 ms
(Ver )