Another Recursion Induction Principle

An inductive method for proving things about
recursively defined functions is described.  It 
is shown to be useful for proving partial functions equivalent
and thus applicable in proofs about interpreters 
for programming languages.

CACM May, 1971

Morris Jr., J. H.

recursion, induction, correctness, proofs, compiler correctness

4.13 4.2 5.24

CA710507 JB February 3, 1978  2:27 PM

2192	5	2192
2192	5	2192
2192	5	2192
2326	5	2192
2457	5	2192
2842	5	2192
2903	5	2192
1303	6	2192
1323	6	2192
210	6	2192
1834	6	2192
2060	6	2192
2148	6	2192
2192	6	2192
2192	6	2192
2192	6	2192
2192	6	2192
2326	6	2192
3184	6	2192
3186	6	2192