An Early Program Proof by Alan Turing

DOI10.1109/MAHC.1984.10017MaRDI QIDQ4779240zbMATH OpenFDO

Authors

Publication date 25 November 2002

Published in IEEE Annals of the History of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/MAHC.1984.10017

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of computer science (68-03)

Cited in

(7)

• Turing oracle machines, online computing, and three displacements in computability theory
• Weights for total division orderings on strings
• Fifty years of Hoare's logic
• Combining Model Checking and Deduction
• scientific article; zbMATH DE number 29052 (Why is no real title available?)
• A personal account of Turing's imprint on the development of computer science
• Tony Hoare: his path to the ACM Turing Award

This page was built for publication: An Early Program Proof by Alan Turing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4779240)