Catalogue description 'Checking a large routine'

This record is held by Cambridge University: King's College Archive Centre

Details of AMT/B/8
Reference: AMT/B/8
Title: 'Checking a large routine'
Description:

The file comprises a photocopy of a paper given by AMT on 24 June 1949 at the inaugural conference of the EDSAC computer at the Mathematical Laboratory, Cambridge, and an off-print of the version published in under the title 'An early program proof by Alan Turing'. See online copies at the Turing Digital Archive
Date: 1949-1984
Held by: Cambridge University: King's College Archive Centre, not available at The National Archives
Language: English
Physical description: 6 items in envelope paper
Immediate source of acquisition:

The off-print was received in 1984 from C. B. Jones.
Publication note:

The paper was published in the 'Report of a Conference on High Speed Automatic Calculating Machines', pp.67-9. The paper as published contained several transcription errors, and a corrected version, with comments, was published by F. L. Morris and C. B. Jones in 'Annals of the History of Computing' Vol. 6, Apr. 1984.

Have you found an error with this catalogue description?

Help with your research