Title :
An Early Program Proof by Alan Turing
Author :
Morris, F.L. ; Jones, C.B.
Abstract :
The paper reproduces, with typographical corrections and comments, a 1949 paper by Alan Turing that foreshadows much subsequent work in program proving.
Keywords :
Computer errors; History; Information processing; Logic; Physics computing; Programming; Software standards;
Journal_Title :
Annals of the History of Computing
DOI :
10.1109/MAHC.1984.10017
