Work

An Early Program Proof by Alan Turing

Year: 1984

Type: article

Abstract: The paper reproduces, with typographical corrections and comments, a 1949 paper by Alan Turing that foreshadows much subsequent work in program proving.

Source: IEEE Annals of the History of Computing

DOI: 10.1109/mahc.1984.10017

Authors: F.L. Morris, C.B. Jones

Institutions: Syracuse University, University of Manchester

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2033914241

FWCI: 2.812

Cites: 12

Cited by: 94

Related to: 10