Next: Registers and Memory Up: FLIP: Functional-plus-Logic Programming on Previous: Implementing Extra-logicals via

LLAMA - The LISP light Abstract Machine

The LLAMA is a simple and universal abstract stack machine [\protect\citeauthoryearHenderson1980] which is used as the target machine for the compilation of LL. It is universal in the sense that most functional and many imperative language can easily be compiled into it.

In the following sections, the constituents of the LLAMA,

are described.

Harold Boley & Michael Sintek (