Program equivalence and context-free grammars

A unified approach to global program optimization

Gary A. Kildall · 1973 · 901 citations

Computing, Computer Science, Algorithms +16

Tree-Manipulating Systems and Church-Rosser Theorems

Barry K. Rosen · Journal of the ACM · 1973 · 352 citations · Full text

Computing, Computer Science, Mathematics +13

On formalised computer programs

D Luckham, D.M.R. Park, Mike Paterson · Journal of Computer and System Sciences · 1970 · 222 citations

Computing, Computer Science, Computer Systems +12

Properties of deterministic top-down grammars

Daniel J. Rosenkrantz, Richard E. Stearns · Information and Control · 1970 · 211 citations

Computing, Computer Science, Computational Linguistics +11

Inductive methods for proving properties of programs

Zohar Manna, Stephen Ness, Jean Vuillemin · Communications of the ACM · 1973 · 139 citations

Computing, Computer Science, Formal Methods +16