Attribute storage optimization by stacks

Semantics of context-free languages

Donald E. Knuth · Theory of Computing Systems · 1968 · 2K citations

Computing, Computer Science, Formal Methods +9

Nondeterministic Space is Closed under Complementation

Neil Immerman · SIAM Journal on Computing · 1988 · 649 citations

Computing, Computer Science, Mathematics +11

The method of forced enumeration for nondeterministic automata

Acta Informatica · 1988 · 384 citations

Computing, Computer Science, Algorithms +8

Ordered attributed grammars

Uwe Kastens · Acta Informatica · 1980 · 256 citations

Semantic evaluation from left to right

Gregor von Bochmann · Communications of the ACM · 1976 · 191 citations · Full text

Computing, Computer Science, Compilers +16