An Early Program Proof by Alan Turing.

F. Lockwood Morris Cliff B. Jones

Published in: IEEE Ann. Hist. Comput. (1984)

Keyphrases

linear logic
computer programs
theorem prover
theorem proving
program understanding
imperative programs
data sets
information retrieval
search engine
multiscale
artificial neural networks