MALI

FTP server at IRISA: MALI V06 (Rennes, France), FTP server at IRISA: TRs

1984

Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro: A Memory Management Machine for Prolog Interpreter. ICLP 1984: 343-353

1986

Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro: MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages. SLP 1986: 258-264

1990

Serge Le Huitouze: A New Data Structure for Implementing Extensions to Prolog. PLILP 1990: 136-150

1991

Olivier Ridoux: MALIv06: Tutorial and Reference Manual. IRISA, Rennes, France, Technical Report 611, 1991, PostScript

1992

P. Brisset, Olivier Ridoux: The Compilation of Lambda-Prolog and its execution with MALI. IRISA, Rennes, France, Technical Report 687, 1992, Postscript

Copyright © Tue Dec 15 20:06:04 2009 by Michael Ley (ley@uni-trier.de)