next up previous contents
Next: 7.1 Terminology Up: RFM Manual: Compiling RELFUN Previous: 6.4 The assembler and

7 The GWAM

  The GWAM is derived from a LISP-based emulator that was originally obtained from Sven-Olof Nystrøm [Nys], Uppsala University; it was modified to work within our relational-functional compilation approach RFM. This LISP-based implementation has been complemented by two WAM emulators in C: Klaus Elsbernd's rudimentary C emulator [Els90] has now been replaced by Markus Perling's complete first-order emulator. Leaving the layered compiler system in LISP (for flexibility and short turnaround times), but having the emulator in C, seems to be a good combination under UNIX. Thus the GWAM is an ideal prototype implementation choice.





Harold Boley (boley@informatik.uni-kl.de)