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