B. Haussman. Turbo Erlang: Approaching the Speed of C. In Implementations of Logic Programming Systems, Evan Tick (ed.), Kluwer 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
wamcc: Compiling Prolog to C - Codognet, Diaz (1995) (19 citations) (Correct)
....back in 1991. Even today, three years later, no implementation of Prolog based on the compilation to C is available outside our own wamcc system. However in the meanwhile several implementations of deterministic committedchoice languages have opted for this approach: Janus [7] KL1 [3] and Erlang [8]. They are all based on a di erent compilation scheme, and it is interesting to compare them with wamcc for deterministic Prolog. 3 Existing Logic Programming translators We will detail in this section how Janus, KL1, Erlang and wamcc handle the control ow. This presentation is inspired from [5] ....
B. Haussman. Turbo Erlang: Approaching the Speed of C. In Implementations of Logic Programming Systems, Evan Tick (ed.), Kluwer 1994.
wamcc: Compiling Prolog to C - Codognet, Diaz (1995) (19 citations) (Correct)
....back in 1991. Even today, three years later, no implementation of Prolog based on the compilation to C is available outside our own wamcc system. However in the meanwhile several implementations of deterministic committedchoice languages have opted for this approach: Janus [7] KL1 [3] and Erlang [8]. They are all based on a different compilation scheme, and it is interesting to compare them with wamcc for deterministic Prolog. 3 Existing Logic Programming translators We will detail in this section how Janus, KL1, Erlang and wamcc handle the control flow. This presentation is inspired from ....
B. Haussman. Turbo Erlang: Approaching the Speed of C. In Implementations of Logic Programming Systems, Evan Tick (ed.), Kluwer 1994.
Multiple Specialization through Local Analysis - Ferreira, Damas (1998) (Correct)
....(the destination is the contents of some variable) The C language does not offer much to express such jumps, specially in a low level manner. Other compilers of committed choice languages addressed the problem of translating the execution control, like Janus [GDBD92] KL1 [CFS94] or Erlang [Hau94]. Their methods either generated just one C function in order to be able to implement jumps as gotos (with different solutions to implement non ANSI C indirect gotos) or implemented jumps as functions calls that could return to a supervisor function. The wamcc system had the objective of ....
B. Haussman. Turbo Erlang: Approaching the Speed of C. In Evan Tick, editor, Implementations of Logic Programming Systems. Kluwer, 1994.
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