RFM Manual: Compiling RELFUN into the Relational/Functional Machine Harold...  Home/Search
Context
Related
| dfki.unikl.de/~vega/re...RFMManual.ps Cached: PS.gz PS This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PDF Image Update HelpPS.gz PS From: dfki.unikl.de/~vega/relfun (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The compilation of RELFUN programs consists of two main stages, horizontal transformations and vertical translations. The horizontal transformer performs both source-to-source steps into a subset of RELFUN and source-to-intermediate steps into a RELFUN-like language. The vertical translator is also divided into two phases, the classifier and the code generator. The classifier produces a declarative clause language; the code generator optimizes target code for underlying WAM emulators. These... (Update)
Similar documents (at the sentence level):
7.3%: FLIP: Functional-plus-Logic Programming on an Integrated.. - Michael Sintek Dfki (1995) (Correct)
Active bibliography (related documents): More All
3.0: Multiple-Valued Horn Clauses and Their WAM Compilation - Boley (1998) (Correct)
1.1: RELFUN Guide: Programming with Relations and.. - Boley, Andel.. (1996) (Correct)
0.7: Unknown - Forschungszentrum Ur Unstliche (Correct)
Similar documents based on text: More All
0.5: Transforming Workpiece Geometries into Lathe-NC Programs by .. - Harold Boley Markus (1997) (Correct)
0.5: A Resolution Priciple for Clauses with Constraints - Bürckert (1990) (Correct)
0.5: Concept Logics - Baader, Bürckert, Hollunder, Nutt.. (1990) (Correct)
BibTeX entry: (Update)
@misc{ -unknown,
title = "Unknown",
url = "citeseer.ist.psu.edu/624407.html" }
Citations (may not include all citations):395 An Abstract Prolog Instruction Set (context) - Warren - 1983
125 Warren's Abstract Machine: A Tutorial Reconstruction (context) - Ait-Kaci - 1996
12 1993: The wonder years of sequential Prolog implementation (context) - Van Roy - 1994
8 FLIP: Functional-plus-logic programming on an integrated pla.. - Sintek - 1995
5 Indexing PROLOG procedures into DAGs by heuristic classifica.. (context) - Sintek - 1993
4 Indexing Principles for Relational Languages Applied to PROL.. (context) - Stein - 1993
4 RAWAM - a Relfun Adapted WAM (context) - Perling - 1996
3 Nywam - a WAM emulator written in LISP (context) - Nystrm
3 Extended Logic-plus-Functional Programming - Boley - 1992
3 Adding WAM Instruction to Support Valued Clause RelationalFu.. (context) - Gunther, WAM et al. - 1989
2 A generalized intelligent indexing method (context) - Stein, Sintek - 1992
2 Globale Datenfluanalyse und horizontale Compilation der rela.. (context) - Krause - 1991
2 WAM indexing and footening techniques for RELFUN --- a case .. (context) - Hein - 1991
2 Parsen und Generieren der PROLOG-artigen Syntax von RELFUN (context) - Herfert - 1992
1 relationalfunctional Language and it Compilation into WAM (context) - Boley, Language et al. - 1990
1 Klassifizierte relationalfunktionale Klauseln Eine deklarati.. (context) - Krause, funktionale et al. - 1990
1 Effizienzvergleiche zwischen einer LISP- und Ccodierten WAM (context) - Elsbernd - 1990
Documents on the same site (http://www.dfki.uni-kl.de/~vega/relfun.html): More
A Relational-Functional Integration for Declarative Programming - Boley (1997) (Correct)
GeneTS: A Relational-Functional Genetic Algorithm for the.. - Perling (1997) (Correct)
Uncertainty-Valued Horn Clauses - Hall (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC