Compiler generation from denotational semantics (1980)

by N Jones, D Schmidt
Venue:Semantics-Directed Compiler Generation