Next: Memory Organization Up: FLIP: Functional-plus-Logic Programming on Previous: Examples

Integrating Abstract Machines: The GAMA

GAMA, the General Abstract Machine Assembler, is a programming environment supporting the development and integration of abstract machines. In this work, it was used to integrate an existing implementation of the WAM (our version of the NyWAM [\protect\citeauthoryearNystrøm1985]) with the newly developed LLAMA (chapter 5).

In the following sections, the constituents of the GAMA,

are described.

Harold Boley & Michael Sintek (