Up: Compiling LL into
Previous: The Compiler Environment
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 .