Semantics-directed code generation
Andrew W. Appel · 1985
computer's memory after executionCode generation proceeds by successive reductions.Each transformation corresponds to a machine-operation; the reducer emits one line of assembly code as it performs each reduction: