(Enter summary)
Abstract: B-Prolog deviates from WAM mainly by its parameter passing mechanism: parameters are
pushed on the control stack instead of being passed through argument registers. Also, the
B-Prolog emulator has a quite high performance on the classical benchmark set despite its
being ANSI-C compliant. It is therefore tempting to attribute its performance to the parameter
passing convention. This issue is investigated here in more detail. Instruction compression was
a key issue in this study, so we... (Update)
Context of citations to this paper: More
...to a read mode routine and a write mode routine. In a bytecode interpreter, this can be done either using two switch statements (as in [4]) or e.g. as a common one where an opcode 2 i refers to a read mode routine and 2 i 1 refers to the write mode version. An indirect...
...(as well as other WAM implementations we know o ) which might be responsible for the perceived speed of B Prolog. Indeed, as shown in [7], closer inspection of the implementation technology (generated abstract machine code, emulator structure . shows that mainly the...
Cited by: More
Argument Registers Or Local Stack for parameter passing in the.. - Demoen, Nguyen
(Correct)
Instruction Merging and Specialization in the SICStus.. - Nässén, Carlsson..
(Correct)
Active bibliography (related documents): More All
0.3: Trying Out Alternatives for Type Class Support in a new.. - Demoen, Banda, Stuckey
(Correct)
0.3: About Unnecessary Performance Differences between Prolog.. - Demoen, Nguyen
(Correct)
0.2: So many WAM variations, so little time. - Demoen, Nguyen
(Correct)
Similar documents based on text: More All
0.5: Combining an Improvement to PARMA Trailing with Trailing.. - Schrijvers, Demoen (2002)
(Correct)
0.4: Copying garbage collection for the WAM: - To Mark Or
(Correct)
0.3: Combining an improvement to PARMA trailing with analysis in HAL - Schrijvers (2002)
(Correct)
Related documents from co-citation: More All
2: An abstract prolog instruction set (context) - Warren - 1983
2: So many WAM variations (context) - Demoen, Nguyen
BibTeX entry: (Update)
B. Demoen and P.-L. Nguyen. On the impact of argument passing on the performance of the WAM and B-Prolog. Technical Report CW 300, K.U. Leuven, 2000. http://citeseer.ist.psu.edu/demoen00impact.html More
@misc{ demoen00impact,
author = "B. Demoen and P. Nguyen",
title = "the impact of argument passing on the performance of the WAM and B-Prolog",
text = "B. Demoen and P.-L. Nguyen. On the impact of argument passing on the performance
of the WAM and B-Prolog. Technical Report CW 300, K.U. Leuven, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/demoen00impact.html" }
Citations (may not include all citations):
395
An Abstract Prolog Instruction Set (context) - Warren - 1983
29
Warren's Abstract Machine: A Tutorial Reconstruction (context) - t-Kaci - 1991
25
CAT: the Copying Approach to Tabling
- Demoen, Sagonas - 1998
22
Optimising Bytecode Emulation for Prolog (context) - Costa - 1999
17
CHAT: the Copy-Hybrid Approach to Tabling
- Demoen, Sagonas - 2000
17
Indexing and Other Implementation Issues in the WAM (context) - Carlsson - 1987
10
the Scheme of Passing Arguments in Stack Frames for Prolog (context) - Zhou - 1994
9
Program Transformations and WAM-support for the Compilation .. (context) - Tarau - 1992
3
Computational Logic - CL (context) - Demoen, Nguyen et al. - 2000
2
the Eciency of Optimising Shallow Backtracking in Compiled P.. (context) - Carlsson - 1989
1
Executing Query Packs in ILP Proceedings of ILP2000 - 10th I.. (context) - Blockeel, Dehaspe et al. - 2000
1
Lecture Notes in Articial Intelligence (context) - Demoen, Mari et al. - 1992
1
Compiling large disjunctions Proceedings of the Workshop on .. (context) - Vandecasteele, Demoen et al. - 2000
1
Experiments in WAM emulators and term representations (context) - Demoen, Nguyen - 2000
1
A Novel Implementation Method for Delay Joint Internatinal C.. (context) - Zhou - 1996
Documents on the same site (http://www.cs.kuleuven.ac.be/~bmd/pubs/): More
On Delphi Lemmas And Other Memoing Techniques For.. - Tarau, De Bosschere.. (1997)
(Correct)
Partial Translation: Towards a Portable and Efficient.. - Tarau, De Bosschere.. (1996)
(Correct)
A new Scheme for Unification in WAM. - Marien, Demoen (1991)
(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