Next: The Compiler Environment Up: FLIP: Functional-plus-Logic Programming on Previous: I/O Builtins

Compiling LL into the LLAMA

The compiler <> maps LL expressions into LLAMA instructions:

For writing convenience, the function symbol <> will only be used as in:

In this chapter, a precise description of the LL compiler via transformation rules is given (section 6.2). This allows a simple re-implementation in any (functional or imperative) programming language.

In these transformation rules, the compiler environment and the peep-hole optimizer are not included. They are described in section 6.1 and 6.3.

In section 6.4, some examples illustrating the transformation rules are presented.

Harold Boley & Michael Sintek (