{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:34Z","timestamp":1761611194819},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665403"},{"type":"electronic","value":"9783540481645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_16","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T23:27:08Z","timestamp":1167348428000},"page":"261-277","source":"Crossref","is-referenced-by-count":22,"title":["Optimising Bytecode Emulation for Prolog"],"prefix":"10.1007","author":[{"given":"V\u00edtor Santos","family":"Costa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Andersson, J., Andersson, S., Boortz, K., Carlsson, M., Nilsson, H., Sjoland, T., Wid\u00e9n, J.: SICStus Prolog User\u2019s Manual. Technical report, Swedish Institute of Computer Science, SICS Technical Report T93-01 (November 1997)"},{"key":"16_CR2","volume-title":"The Java Programming Language","author":"K. Arnold","year":"1996","unstructured":"Arnold, K., Gosling, J.: The Java Programming Language. Addison Wesley, Reading (1996)"},{"issue":"6","key":"16_CR3","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/362248.362270","volume":"16","author":"J.R. Bell","year":"1973","unstructured":"Bell, J.R.: Threaded code. Communications of the ACM\u00a016(6), 370\u2013372 (1973)","journal-title":"Communications of the ACM"},{"key":"16_CR4","unstructured":"Bueno, F.,, M.G.: Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM TOPLAS (1998)"},{"key":"16_CR5","first-page":"3","volume-title":"Proceedings of the Sixth International Conference on Logic Programming","author":"M. Carlsson","year":"1989","unstructured":"Carlsson, M.: On the efficiency of optimised shallow backtracking in Compiled Prolog. In: Proceedings of the Sixth International Conference on Logic Programming, pp. 3\u201315. MIT Press, Cambridge (1989)"},{"key":"16_CR6","unstructured":"Carlsson, M.: Design and Implementation of an OR-Parallel Prolog Engine. SICS Dissertation Series 02, The Royal Institute of Technology (1990)"},{"key":"16_CR7","volume-title":"12th International Conference on Logic Programming","author":"P. Codognet","year":"1995","unstructured":"Codognet, P., Diaz, D.: wamcc: Compiling Prolog to C. In: 12th International Conference on Logic Programming. The MIT Press, Cambridge (1995)"},{"key":"16_CR8","unstructured":"Damas, L., Santos Costa, V., Reis, R., Azevedo, R.: YAP User\u2019s Guide and Reference Manual (1998), http:\/\/www.ncc.up.pt\/vsc\/Yap"},{"key":"16_CR9","volume-title":"Interpretation and Instruction Path Coprocessing","author":"E.H. Debaere","year":"1990","unstructured":"Debaere, E.H., Van Campenhout, J.M.: Interpretation and Instruction Path Coprocessing. The MIT Press, Cambridge (1990)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Ertl, M.A.: Stack caching for interpreters. In: SIGPLAN 1995 Conference on Programming Language Design and Implementation, pp. 315\u2013327 (1995)","DOI":"10.1145\/207110.207165"},{"key":"16_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5298.001.0001","volume-title":"Performance and evaluation of Lisp systems","author":"R.P. Gabriel","year":"1985","unstructured":"Gabriel, R.P.: Performance and evaluation of Lisp systems. MIT Press, Cambridge (1985)"},{"key":"16_CR12","volume-title":"Proceedings of the Eleventh International Conference on Logic Programming","author":"R.C. Haygood","year":"1994","unstructured":"Haygood, R.C.: Native code compilation in SICStus Prolog. In: Hentenryck, P.V. (ed.) Proceedings of the Eleventh International Conference on Logic Programming, MIT Press, Cambridge (1994)"},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"797","DOI":"10.7551\/mitpress\/4298.003.0075","volume-title":"International Conference on Logic Programming","author":"M. Hermenegildo","year":"1995","unstructured":"Hermenegildo, M., Puebla, G., Marriott, K., Stuckey, P.: Incremental Analysis of Logic Programs. In: International Conference on Logic Programming, pp. 797\u2013811. MIT Press, Cambridge (1995)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1002\/spe.4380110908","volume":"11","author":"P. Klint","year":"1981","unstructured":"Klint, P.: Interpretation techniques. Software Practice and Experience\u00a011, 963\u2013973 (1981)","journal-title":"Software Practice and Experience"},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/174625.174627","volume":"16","author":"B. Charlier Le","year":"1994","unstructured":"Le Charlier, B., Van Hentenryck, P.: Experimental evaluation of a generic abstract interpretation algorithm for PROLOG. ACM TOPLAS\u00a016(1), 35\u2013101 (1994)","journal-title":"ACM TOPLAS"},{"key":"16_CR16","unstructured":"Magnusson, P.S., Larsson, F., Moestedt, A., Werner, B., Dahlgren, F., Karlsson, M., Lundholm, F., Nilsson, J., Stenstr\u00f6m, P., Grahn, H.: SimICS\/sun4m: A virtual workstation. In: Proceedings of the USENIX 1998 Annual Technical Conference, Berkeley, USA, June 15-19, pp. 119\u2013130 USENIX Association (1998)"},{"key":"16_CR17","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Milner, R., Tofte, M., Harper, R.: The Definition of Standard ML. MIT Press, Cambridge (1990)"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055421","volume-title":"Implementation of Functional Languages","author":"S.L.P. Jones","year":"1998","unstructured":"Jones, S.L.P., Nordin, T., Oliva, D.: C\u2013: A Portable Assembly Language. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol.\u00a01467, p. 1. Springer, Heidelberg (1998)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Proebsting, T.A.: Optimizing an ANSI C interpreter with superoperators. In: Principles of Programming Languages (POPL 1995), pp. 322\u2013332 (1995)","DOI":"10.1145\/199448.199526"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Romer, T.H., Lee, D., Voelker, G.M., Wolman, A., Wong, W.A., Baer, J.-L., Bershad, B.N., Levy, H.M.: The structure and performance of interpreters. In: Architectural Support for Programming Languages and Operating Systems (ASPLOS-VII), pp.150\u2013159 (1996)","DOI":"10.1145\/237090.237175"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Rosenblum, M., Herrod, S.A., Witchel, E., Gupta, A.: Complete computer system simulation: The SimOS approach. IEEE parallel and distributed technology: systems and applications\u00a03(4), 34\u201343 (Winter 1995)","DOI":"10.1109\/88.473612"},{"key":"16_CR22","unstructured":"Santos Costa, V.: Implementa\u00e7\u00e3o de Prolog. In: Provas de aptid\u00e3o pedag\u00f3gica e capacidade cient\u00edfica. Universidade do Porto, Dezembro (1988)"},{"key":"16_CR23","unstructured":"Stallman, R.M.: Using and porting gcc. Technical report, The Free Software Foundation (1993)"},{"key":"16_CR24","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1994)"},{"issue":"3","key":"16_CR25","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/155360.155397","volume":"28","author":"G.J. Sussman","year":"1993","unstructured":"Sussman, G.J., Steele Jr., G.L., Gabriel, R.P.: A brief introduction to Lisp. ACM SIGPLAN Notices\u00a028(3), 361\u2013362 (1993)","journal-title":"ACM SIGPLAN Notices"},{"issue":"1\u20133","key":"16_CR26","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0743-1066(96)00063-5","volume":"29","author":"P. Tarau","year":"1996","unstructured":"Tarau, P., De Bosschere, K., Demoen, B.: Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. Journal of Logic Programming\u00a029(1\u20133), 65\u201383 (1996)","journal-title":"Journal of Logic Programming"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Taylor, A.: Parma\u2013bridging the performance gap between imperative and logic programming. The Journal of Logic Programming, 1\u20133 (October 1996)","DOI":"10.1016\/S0743-1066(96)00065-9"},{"key":"16_CR28","unstructured":"Van Roy, P.: Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, University of California at Berkeley (November 1990)"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Van Roy, P.: 1983-1993: The Wonder Years of Sequential Prolog Implementation. The Journal of Logic Programming, 19\u201320 (May\/July 1994)","DOI":"10.1016\/0743-1066(94)90031-0"},{"key":"16_CR30","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Note 309, SRI International (1983)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T17:04:01Z","timestamp":1707498241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/10704567_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}