On the Automatic Simplification of Computer Programs

Presented in this paper is the problem of writing
a program which would examine any other program 
and perform such simplifications on it as can be detected
from the argument-program's form alone, without 
having any knowledge of what it is supposed to do.

CACM June, 1965

Nievergelt, J.

CA650607 JB March 6, 1978  10:24 PM

1248	5	1248
1248	5	1248
1248	5	1248
1625	5	1248
1807	5	1248
1947	5	1248
1134	6	1248
1223	6	1248
1223	6	1248
1248	6	1248
1248	6	1248
1248	6	1248
1551	6	1248
1947	6	1248
399	6	1248
669	6	1248