Optimising bytecode emulation for prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1702, Issue , 1999, Pages 261-277

  Costa, Vítor Santos ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

LISP (PROGRAMMING LANGUAGE); LOGIC PROGRAMMING;

ABSTRACT MACHINES; BYTECODES; OPTIMISATIONS; PERFORMANCE ANALYSIS; PROLOG SYSTEMS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84978932812     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10704567_16     Document Type: Conference Paper

References (30)

1. J. Andersson, S. Andersson, K. Boortz, M. Carlsson, H. Nilsson, T. Sjoland, and J. Widén. SICStus Prolog User's Manual. Technical report, Swedish Institute of Computer Science, November 1997. SICS Technical Report T93-01. 262, 264.
2. K. Arnold and J. Gosling. The Java Programming Language. Addison Wesley, 1996. 261.
3. J. R. Bell. Threaded code. Communications of the ACM, 16(6): 370-372, 1973. 263.
4. F. Bueno, M. G. d. l. Banda, and M. V. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM TOPLAS, 1998. 266.
5. M. Carlsson. On the efficiency of optimised shallow backtracking in Compiled Prolog. In Proceedings of the Sixth International Conference on Logic Programming, pages 3-15. MIT Press, June 1989. 265.
6. M. Carlsson. Design and Implementation of an OR-Parallel Prolog Engine. SICS Dissertation Series 02, The Royal Institute of Technology, 1990. 262, 266.
7. P. Codognet and D. Diaz. wamcc: Compiling Prolog to C. In 12th International Conference on Logic Programming. The MIT Press, 1995. 265.
8. L. Damas, V. Santos Costa, R. Reis, and R. Azevedo. YAP User's Guide and Reference Manual, 1998. http://www. ncc. up. pt/vsc/Yap. 262, 262.
9. E. H. Debaere and J. M. Van Campenhout. Interpretation and Instruction Path Coprocessing. The MIT Press, 1990. 261.
10. M. A. Ertl. Stack caching for interpreters. In SIGPLAN '95 Conference on Pro-gramming Language Design and Implementation, pages 315-327, 1995. 263.
11. R. P. Gabriel. Performance and evaluation of Lisp systems. MIT Press, 1985. 263.
12. R. C. Haygood. Native code compilation in SICStus Prolog. In P. V. Hentenryck, editor, Proceedings of the Eleventh International Conference on Logic Program-ming. MIT Press, June 1994. 264, 265.
13. M. Hermenegildo, G. Puebla, K. Marriott, and P. Stuckey. Incremental Analysis of Logic Programs. In International Conference on Logic Programming, pages 797-811. MIT Press, June 1995. 266.
14. P. Klint. Interpretation techniques. Software Practice and Experience, 11: 963-973, 1981. 261.
15. B. Le Charlier and P. Van Hentenryck. Experimental evaluation of a generic abstract interpretation algorithm for PROLOG. ACM TOPLAS, 16(1): 35-101, January 1994. 266.
16. P. S. Magnusson, F. Larsson, A. Moestedt, B. Werner, F. Dahlgren, M. Karlsson, F. Lundholm, J. Nilsson, P. Stenström, and H. Grahn. SimICS/sun4m: A virtual workstation. In Proceedings of the USENIX 1998 Annual Technical Conference, pages 119-130, Berkeley, USA, June 15-19 1998. USENIX Association. 263.
17. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990. 261.
18. Peyton Jones, Simon L. and Thomas Nordin and Dino Oliva. C-: A Portable Assembly Language. In Proceedings of IFL'97, 1997. 263.
19. T. A. Proebsting. Optimizing an ANSI C interpreter with superoperators. In Principles of Programming Languages (POPL '95), pages 322-332, 1995. 272.
20. T. H. Romer, D. Lee, G. M. Voelker, A. Wolman, W. A. Wong, J.-L. Baer, B. N. Bershad, and H. M. Levy. The structure and performance of interpreters. In Ar-chitectural Support for Programming Languages and Operating Systems (ASPLOS-VII), pages 150-159, 1996. 261.
21. M. Rosenblum, S. A. Herrod, E. Witchel, and A. Gupta. Complete computer system simulation: The SimOS approach. IEEE parallel and distributed technology: systems and applications, 3(4): 34-43, Winter 1995. 263.
22. V. Santos Costa. Implementaćão de Prolog. Provas de aptidão pedagógica e capacidade cientíća, Universidade do Porto, Dezembro 1988. 262, 262, 262.
23. R. M. Stallman. Using and porting gcc. Technical report, The Free Software Foundation, 1993. 263.
24. L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1994. 261.
25. G. J. Sussman, G. L. Steele, Jr., and R. P. Gabriel. A brief introduction to Lisp. ACM SIGPLAN Notices, 28(3): 361-362, Mar. 1993. 261.
26. P. Tarau, K. De Bosschere, and B. Demoen. Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. Journal of Logic Pro-gramming, 29(1-3): 65-83, Nov. 1996. 265.
27. A. Taylor. Parma-bridging the performance gap between imperative and logic programming. The Journal of Logic Programming, 1-3, October 1996. 265.
28. P. Van Roy. Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, University of California at Berkeley, November 1990. 262, 263, 265.
29. P. Van Roy. 1983-1993: The Wonder Years of Sequential Prolog Implementation. The Journal of Logic Programming, 19/20, May/July 1994. 261.
30. D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983. 261, 262.