kirancodes.me
To Proof Maintenance & Beyond!

Semantics-Directed Code Generation

Andrew W. Appel

Abstract

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:

Related papers