The JastAdd system — modular extensible compiler construction

Semantics of context-free languages

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

Computing, Computer Science, Formal Methods +9

The TXL source transformation language

James R. Cordy · Science of Computer Programming · 2006 · 358 citations

Computing, Computer Engineering, Computer Science +11

MultiJava

Curtis Clifton, Gary T. Leavens, Craig Chambers et al. · 2000 · 283 citations · Full text

Computing, Computer Science, Compilers +16

Higher order attribute grammars

Harald Vogt, S. Doaitse Swierstra, M.F. Kuiper · 1989 · 215 citations · Full text

Computing, Computer Science, Algorithms +14

Declaring and checking non-null types in an object-oriented language

Manuel Fähndrich, K. Rustan M. Leino · 2003 · 186 citations

Computing, Computer Science, Compilers +14