Warren Abstract Machine (WAM)

1986

• Andrew K. Turk: Compiler Optimizations for the WAM. ICLP 1986: 657-662 BibTeX

1989

• Evelina Lamma, Paola Mello, Antonio Natali: The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming. ICLP 1989: 303-317 BibTeX
• Pier Giorgio Bosco, C. Cecchi, Corrado Moiso: An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. ICLP 1989: 318-333 BibTeX

1991

• André Mariën, Bart Demoen: A New Scheme for Unification in WAM. ISLP 1991: 257-271 BibTeX
• Christoph Beierle, Gregor Meyer, Heiner Semle: Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution. ISLP 1991: 272-286 BibTeX

1993

• Daniel Diaz, Philippe Codognet: A Minimal Extension of the WAM for clp(FD). ICLP 1993: 774-790 BibTeX

1994

• Christoph Beierle, Gregor Meyer: Run-Time Type Computations in the Warren Abstract Machine. J. Log. Program. 18(2): 123-148(1994) BibTeX