This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Early Program Proof by Alan Turing
April-June 1984 (vol. 6 no. 2)
pp. 139-143

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

Citation:
F.L. Morris, C.B. Jones, "An Early Program Proof by Alan Turing," IEEE Annals of the History of Computing, vol. 6, no. 2, pp. 139-143, April-June 1984, doi:10.1109/MAHC.1984.10017
Usage of this product signifies your acceptance of the Terms of Use.