next up previous contents
Next: About this document Up: RFM Manual: Compiling RELFUN Previous: 8 A sample session

References

AK91
Hassan Ait-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. The MIT Press, Cambridge, Massachusetts, 1991.

BAE tex2html_wrap_inline2789 96
Harold Boley, Simone Andel, Klaus Elsbernd, Michael Herfert, Michael Sintek, and Werner Stein. RELFUN Guide: Programming with Relations and Functions Made Easy. Document D-93-12, DFKI GmbH, July 1996. Second, Revised Edition.

Bol90
Harold Boley. A relational/functional Language and its Compilation into the WAM. SEKI Report SR-90-05, Universität Kaiserslautern, 1990.

Bol92
Harold Boley. Extended Logic-plus-Functional Programming. In Lars-Henrik Eriksson, Lars Hallnäs, and Peter Schroeder-Heister, editors, Proceedings of the 2nd International Workshop on Extensions of Logic Programming, ELP '91, Stockholm 1991, volume 596 of LNAI. Springer, 1992.

Els90
Klaus Elsbernd. Effizienzvergleiche zwischen einer LISP- und C-codierten WAM. SEKI Working Paper SWP-90-03, Universität Kaiserslautern, Fachbereich Informatik, June 1990.

Hei89
Hans-Günther Hein. Adding WAM-Instructions to Support Valued Clauses for the Relational/Functional Language RELFUN. SEKI Working Paper SWP-90-02, Universität Kaiserslautern, Fachbereich Informatik, December 1989.

Hei91
Hans-Günther Hein. WAM indexing and footening techniques for RELFUN -- a case study on the DNF benchmark. ARC-TEC Discussion Paper 91-11, DFKI Kaiserslautern, August 1991.

Her92
Michael Herfert. Parsen und Generieren der PROLOG-artigen Syntax von RELFUN. Technical Report D-92-23, DFKI GmbH, October 1992.

Kra90
Thomas Krause. Klassifizierte relational/funktionale Klauseln: Eine deklarative Zwischensprache zur Generierung von Register-optimierten WAM-Instruktionen. SEKI Working Paper SWP-90-04, Universität Kaiserslautern, Fachbereich Informatik, May 1990.

Kra91
Thomas Krause. Globale Datenflußanalyse und horizontale Compilation der relational-funktionalen Sprache RELFUN. Diplomarbeit, DFKI D-91-08, Universität Kaiserslautern, FB Informatik, Postfach 3049, D-6750 Kaiserslautern, March 1991.

Nys
Sven Olof Nystrøm. Nywam - a WAM emulator written in LISP.

Per96
Markus Perling. RAWAM - a Relfun Adapted WAM, 1996.

Sin93
Michael Sintek. Indexing PROLOG procedures into DAGs by heuristic classification. DFKI Technical Memo TM-93-05, DFKI GmbH, 1993.

Sin95
Michael Sintek. FLIP: Functional-plus-logic programming on an integrated platform. Technical Memo TM-95-02, DFKI GmbH, May 1995.

SS92
Werner Stein and Michael Sintek. A generalized intelligent indexing method. In Workshop ``Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen'' in Bad Honnef, 12/92-1. Institute of Applied Mathematics and Computer Science, University of Münster, May 1992.

Ste93
Werner Stein. Indexing Principles for Relational Languages Applied to PROLOG Code Generation. Technical Report Document D-92-22, DFKI GmbH, February 1993.

VR94
Peter Van Roy. 1983-1993: The wonder years of sequential Prolog implementation. The Journal of Logic Programming, 19,20:385-441, 1994.

War83
David. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Menlo Park, CA, October 1983.


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