Operational semantics-directed compilers and machine architectures (1994)

by J Hannan
Venue:ACM Transactions on Programming Languages and Systems