Semantics-directed Generation of Compilers and Abstract Machines (1996)

by S Diehl