|
| 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
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/MAHC.1984.10017, author = {F.L. Morris and C.B. Jones}, title = {An Early Program Proof by Alan Turing}, journal ={IEEE Annals of the History of Computing}, volume = {6}, number = {2}, issn = {1058-6180}, year = {1984}, pages = {139-143}, doi = {http://doi.ieeecomputersociety.org/10.1109/MAHC.1984.10017}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Annals of the History of Computing TI - An Early Program Proof by Alan Turing IS - 2 SN - 1058-6180 SP139 EP143 EPD - 139-143 A1 - F.L. Morris, A1 - C.B. Jones, PY - 1984 VL - 6 JA - IEEE Annals of the History of Computing ER - | |||
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.