Optimising Bytecode Emulation for Prolog-Reference-Cited by-同舟云学术

Optimising Bytecode Emulation for Prolog

Published:1999 Issue: Volume: Page:261-277
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Costa Vítor Santos

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10704567_16

Reference30 articles.

1. Andersson, J., Andersson, S., Boortz, K., Carlsson, M., Nilsson, H., Sjoland, T., Widén, J.: SICStus Prolog User’s Manual. Technical report, Swedish Institute of Computer Science, SICS Technical Report T93-01 (November 1997)

2. Arnold, K., Gosling, J.: The Java Programming Language. Addison Wesley, Reading (1996)

3. Bell, J.R.: Threaded code. Communications of the ACM 16(6), 370–372 (1973)

4. Bueno, F.,, M.G.: Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM TOPLAS (1998)

5. Carlsson, M.: On the efficiency of optimised shallow backtracking in Compiled Prolog. In: Proceedings of the Sixth International Conference on Logic Programming, pp. 3–15. MIT Press, Cambridge (1989)

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17

2. An Abstract Machine for Push Bottom-Up Evaluation of Datalog;Lecture Notes in Computer Science;2018

3. Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method;Lecture Notes in Computer Science;2018

4. Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation;Electronic Proceedings in Theoretical Computer Science;2017-01-01

5. A design and implementation of the Extended Andorra Model;Theory and Practice of Logic Programming;2011-05-04