Bart Demoen, Greet Maris  Home/Search
Context Related
| csd.uu.se/pub/pape...demoen+maris.ps.gz Cached: PS.gz PS PDF 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.
Image Update HelpPS.gz PS PDF From: ust.hk/dblp/db/conf/i...iclp94w6 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The general improvement of C compilers, and some new non standard features of gcc have made it more attractive to compile (logic) to C: it is no longer unthinkable that the speed of a native code optimizer can be matched and even beaten by a scheme that compiles to C and lets most of the hard work be done by the C compiler. The new features, especially gcc's treatment of labels as first class types, are a clear invitation to abandon native code generators. Also, the possibility to assign... (Update)
Context of citations to this paper: More
.... logic programming languages, some translation based frameworks have recently been proposed [5, 6, 9, 15, 16, 17] and have been compared [13]. A common characteristic of all these implementations is that portability is achieved through the use of C as target for the...
...as target language: Janus, Erlang, KL1, and Mercury, for example. Their different compilation schemes are presented in [CD95, HCS96, DM94] The naive method implements branching using a C goto statement. However problems arise because indirect branching is not available in...
Cited by: More
wamcc: Compiling Prolog to C - Codognet, Diaz (1995) (Correct)
A Choice-Point Library for Backtrack Programming - Moreau (1998) (Correct)
Compiling Nondeterministic Computations - Pem (Correct)
Active bibliography (related documents): More All
0.3: A Simple Approach To Supporting Untagged Objects In.. - Bigot, Debray (Correct)
0.3: Detection And Optimization Of Suspension-Free Logic Programs - Debray, Gudeman, Bigot (1996) (Correct)
0.2: An illustration of a Parallel/Distributed.. - Casavant.. (Correct)
Similar documents based on text: More All
0.4: QD-Janus: a Sequential Implementation of Janus in Prolog - Debray (1993) (Correct)
0.1: How to Program in CCSP - Beth Arrowsmith (Correct)
0.1: A Pitch-Based Approach To Time-Delay Estimation Of Reverberant.. - Brandstein (1997) (Correct)
Related documents from co-citation: More All
3: Translator-based multiparadigm programming - Horspool, Levy - 1993
3: A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
2: A portable and efficient implementation of KL (context) - Chikayama, Fujise et al. - 1994
BibTeX entry: (Update)
B. Demoen and G. Maris. A comparison of some schemes for translating logic to C. Technical Report 188, K.U.Leuven, Mar. 1994. presented at the Workshop on parallel and data parallel execution of logic programs, ICLP94. http://citeseer.ist.psu.edu/demoen94comparison.html More
@inproceedings{ demoen94comparison,
author = "Bart Demoen and Greet Maris",
title = "A Comparison of Some Schemes for Translating Logic to C",
booktitle = "{ICLP} Workshop: Parallel and Data Parallel Execution of Logic Programs",
pages = "79-91",
year = "1994",
url = "citeseer.ist.psu.edu/demoen94comparison.html" }
Citations (may not include all citations):395 An abstract Prolog instruction set (context) - Warren - 1983
114 Programming Paradigms of the Andorra Kernel Language - Janson, Haridi - 1991
47 Can Logic Programming Execute as Fast as Imperative Programm.. - Van Roy - 1990
43 Using and Porting GNU CC (context) - Stallman
25 Turbo Erlang: approaching the Speed of C (context) - Hausman - 1994
23 jc: An Efficient and Portable Sequential Implementation of J.. - Gudeman, De Bosschere et al. - 1992
21 Elementary Logic Programs (context) - Tarau, Boyer - 1990
4 The C Programming Language-2nd Edition (context) - Kernighan, Ritchie - 1988
3 A Portable and Efficient Implementation of KL1 (context) - Chikayama, Fujise et al. - 1994
3 Translating Prolog to C: a WAM-based approach - Levy, Horspool - 1993
2 A continuation based Prolog-to-C mapping (context) - De Bosschere, Tarau - 1994
1 A parallell implementation for AKL (context) - Moolenaar, Demoen - 1993
Documents on the same site (http://ftp.ust.hk/dblp/db/conf/iclp/iclp94-w6.html): More
IDRA (IDeal Resource Allocation): A Tool for.. - Fernández, .. (Correct)
Towards a Formal Computation Model of Associative Logic Programming - Bansal (Correct)
A note on Data-Parallelism and (And-Parallel) Prolog.. - Hermenegildo, Carro (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