Next: defun Up: Compiling LL into Previous: The Compiler Environment

Transformation Rules

In the following sections, the compiler <> will be described with a system of transformation rules; these rules can be of the following forms:

Rules of form A map an directly into an instruction sequence .
In rules of form B, recursive calls to <> are expressed by < expression > parts on the right-hand side of the rules.
If recursive calls of <> require the environment of local variables to be extended (as in defun and let), these variables are added as an index to <> as in < expression .

Harold Boley & Michael Sintek (