Publication | Closed Access
An Early Program Proof by Alan Turing
83
Citations
2
References
1984
Year
EngineeringAutomated ReasoningProof ComplexityVerificationFormal MethodsProof AssistantAutomated ProofProof TheoryComputer ScienceProgram ProvingAlan TuringFormal VerificationEarly Program ProofTypographical CorrectionsTuring MachineComputability Theory
The paper reproduces, with typographical corrections and comments, a 1949 paper by Alan Turing that foreshadows much subsequent work in program proving.
| Year | Citations | |
|---|---|---|
Page 1
Page 1