Inductive methods for proving properties of programs

Introduction to Metamathematics

1952 • 4,450 citations

Computation: Finite and Infinite Machines.

1968 • 2,667 citations

Outline of a Mathematical Theory of Computation

1970 • 653 citations

Proving Properties of Programs by Structural Induction

1969 • 330 citations

Lambda-calculus models of programming languages.

1969 • 328 citations

Implementation and applications of Scott's logic for computable functions

1972 • 107 citations

Fixpoint approach to the theory of computation

1972 • 81 citations

Formalization of Properties of Functional Programs

1970 • 76 citations

Proof-techniques for recursive programs.

1974 • 75 citations

Recursive definitions of partial functions and their computations

1972 • 72 citations

Another recursion induction principle

1971 • 38 citations

INDUCTION IN PROOFS ABOUT PROGRAMS

1972 • 4 citations