{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T17:04:23Z","timestamp":1785603863563,"version":"3.56.0"},"reference-count":139,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1016\/s0167-739x(99)00088-6","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:32:32Z","timestamp":1027650752000},"page":"739-751","source":"Crossref","is-referenced-by-count":37,"title":["Abstract machines for programming language implementation"],"prefix":"10.1016","volume":"16","author":[{"given":"Stephan","family":"Diehl","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pieter","family":"Hartel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Sestoft","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-739X(99)00088-6_BIB1","unstructured":"A.V. Aho, B.W. Kernighan, P.J. Weinberger, The AWK Programming Language, Addison-Wesley, Reading, MA, 1988."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB2","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci, Warren\u2019s Abstract Machine \u2013 A Tutorial Reconstruction, MIT Press, Cambridge, MA, 1991.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB3","unstructured":"Engelhardt, Alexander, Wendelborn, An overview of the Adl language project, Proceedings of the Conference on High Performance Functional Computing, Denver, Colorado, 1995."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB4","unstructured":"K.A.M. Ali, OR-parallel execution of Prolog on BC-machine, Proceedings of the Fifth International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 1531\u20131545."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB5","unstructured":"K.A.M. Ali, R. Karlsson, Scheduling OR-Parallelism in MUSE, Proceedings of the 1990 North American Conference on Logic Programming, MIT Press, Cambridge, MA, 1990, pp. 807\u2013821."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB6","unstructured":"K.A.M. Ali, R. Karlsson, The MUSE Or-Parallel Prolog Model and its Performance, Proceedings of the Eighth International Conference on Logic Programming, MIT Press, Cambridge, MA, 1991, pp. 757\u2013776."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB7","unstructured":"U. Ammann, Code Generation of a Pascal-Compiler, In: D.W. Barron (Ed.), Pascal \u2013 The Language and its Implementation, Wiley, New York, 1981."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB8","doi-asserted-by":"crossref","unstructured":"G. Argo, Improving the three instruction machine, Fourth International Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, Addison-Wesley, Reading, MA, September 1989, pp. 100\u2013112.","DOI":"10.1145\/99370.99378"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB9","unstructured":"J.L. Armstrong, B.O. D\u00e4cker, S.R. Virding, M.C. Williams, Implementing a functional language for highly parallel real time applications, Proceedings of the Conference on Software Engineering for Telecommunication Systems and Services (SETSS\u201992), Florence, 1992."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB10","doi-asserted-by":"crossref","unstructured":"L. Augustsson, A compiler for lazy ML, 1984 ACM Symposium on Lisp and Functional Programming, Austin, Texas, ACM, 1984, pp. 218\u2013227.","DOI":"10.1145\/800055.802038"},{"issue":"1","key":"10.1016\/S0167-739X(99)00088-6_BIB11","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1017\/S0956796800000617","article-title":"The interactive lazy ML system","volume":"3","author":"Augustsson","year":"1993","journal-title":"J. Funct. Programming"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB12","doi-asserted-by":"crossref","unstructured":"L. Augustsson, T. Johnsson, Parallel graph reduction with the \u3008\u03bd,G\u3009 machine, Proceedings of the Conference on Functional Programming Languages and Computer Architecture (FPCA\u201989), London, ACM, New York, 1989, pp. 202\u2013213.","DOI":"10.1145\/99370.99386"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB13","unstructured":"L. Augustsson, HBC \u2013 The Chalmers Haskell compiler, Web Page, 1999, URL: http:\/\/www.cs.chalmers.se\/ augustss\/hbc.html."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB14","unstructured":"J. Batali et al., The Scheme-81 architecture, system and chip, MIT Conference on Advanced Research in VLSI, 1982."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB15","doi-asserted-by":"crossref","unstructured":"A. Beguelin, J. Dongarra, A. Geist, B. Manchek, V. Sunderam, Recent Enhancements to PVM, Internat. J. Supercomput. Appl. 9(2) (1995).","DOI":"10.1177\/109434209500900204"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB16","unstructured":"C. Beierle, Formal design of an abstract machine for constraint logic programming, IFIP Congress, vol. 1, 1994, pp. 377\u2013382."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB17","unstructured":"C. Beierle, G. Meyer, H. Semele, Extending the Warren Abstract Machine to Polymorphic Order-sorted Resolution, Technical Report IWBS Report 181, Institute for Knowledge-based Systems, Stuttgart, 1991."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB18","unstructured":"G.S. Blair, A convergence of parallel and distributed computing, in: M. Kara, J.R. Davy, D. Goodeve, J. Nash (Eds.), Abstract Machine Model for Parallel and Distributed Computing, IOS Press, Amsterdam, 1996."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB19","doi-asserted-by":"crossref","unstructured":"J. Blazwicz, K.H. Ecker, G. Schmidt, J. Weglarz, Scheduling in Computer and Manufacturing Systems, Springer, Berlin, 1994.","DOI":"10.1007\/978-3-642-79034-8"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB20","unstructured":"E. B\u00f6rger, D. Rosenzweig, The WAM \u2013 Definition and Compiler Correctness, in: C. Beierle, L. Pl\u00fcmer (Eds.), Logic Programming: Formal Methods and Practical Applications, North-Holland, Amsterdam, 1995, pp. 22\u201390."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB21","unstructured":"P.G. Bosco, C. Cecchi, C. Moiso, An extension of WAM for K-LEAF: a WAM-based compilation of conditional narrowing, Proceedings of the Sixth International Conference on Logic Programming (Lisboa), MIT Press, Cambridge, MA, 1989."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB22","unstructured":"S. Breitinger, U. Klusik, R. Loogen, Y. Ortega-Mall\u00e9n, R. Pena, DREAM: The DistRibuted Eden Abstract Machine, in: Implementation of Functional Languages \u2013 Selected Papers of the Ninth International Workshop (IFL\u201997), Lecture Notes in Computer Science, vol. 1467, Springer, Berlin, 1997, pp. 250\u2013269."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB23","unstructured":"P.J. Brown, Macro Processors and Techniques for Portable Software, Wiley, Chichester, UK, 1988."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB24","unstructured":"R. Butler, T. Disz, E. Lusk, R. Olson, R. Overbeek, R. Stevens, Scheduling Or-Parallelism: An Argonne Perspective, in: Proceedings of the Fifth International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 1988."},{"issue":"7","key":"10.1016\/S0167-739X(99)00088-6_BIB25","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1145\/48511.48515","article-title":"HAM: a general purpose hypertext abstract machine","volume":"31","author":"Campbell","year":"1988","journal-title":"Commun. ACM"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB26","unstructured":"L. Cardelli, The functional abstract machine, Technical Report TR-107, AT&T Bell Labs, 1983."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB27","doi-asserted-by":"crossref","unstructured":"L. Cardelli, Compiling a functional language, Lisp and Functional Programming, ACM, New York, 1984.","DOI":"10.1145\/800055.802037"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB28","doi-asserted-by":"crossref","unstructured":"C. Chambers, D. Ungar, E. Lee, An efficient implementation of Self, a dynamically typed object-oriented language based on prototypes, in: OOPSLA\u201989, New Orleans, LA, October 1989, SIGPLAN Notices 24 (10) (1989) 49-70.","DOI":"10.1145\/74878.74884"},{"issue":"3","key":"10.1016\/S0167-739X(99)00088-6_BIB29","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01806108","article-title":"An efficient implementation of Self, a dynamically typed object-oriented language based on prototypes","volume":"4","author":"Chambers","year":"1991","journal-title":"Lisp Symbol. Comput."},{"issue":"11","key":"10.1016\/S0167-739X(99)00088-6_BIB30","first-page":"21","article-title":"Intermediate languages in compiler Construction-A bibliography","volume":"18","author":"Chow","year":"1983","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB31","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0743-1066(89)90012-5","article-title":"Or-Parallel Prolog on Shared Memory Multiprocessors","volume":"7","author":"Ciepielewski","year":"1989","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB32","unstructured":"R. Clark, S. Koehler, The UCSD Pascal Handbook, Prentice-Hall, Englewood Cliffs, NJ, 1982."},{"issue":"10","key":"10.1016\/S0167-739X(99)00088-6_BIB33","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/368924.368928","article-title":"Proposal for an UNCOL","volume":"1","author":"Conway","year":"1958","journal-title":"Commun. ACM"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB34","doi-asserted-by":"crossref","unstructured":"G. Cousineau, P.-L. Curien, M. Mauny, The Categorial Abstract Machine, Proceedings of FPCA\u201985, Springer, LNCS 201, 1985.","DOI":"10.1007\/3-540-15975-4_29"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB35","doi-asserted-by":"crossref","unstructured":"G. Cousineau, M. Mauny, The Functional Approach to Programming, Cambridge University Press, Cambridge, 1998.","DOI":"10.1017\/CBO9781139173018"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB36","doi-asserted-by":"crossref","unstructured":"P. Cr\u00e9gut, An abstract machine for the normalization of \u03bbterms, ACM Conference on Lisp and Functional Programming, Nice, France, ACM Press, 1990, pp. 333\u2013340.","DOI":"10.1145\/91556.91681"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB37","unstructured":"P. Cr\u00e9gut, Machines\u00e1 environnement pour la r\u00e9duction symbolique et l\u2019\u00e9valuation partielle, Ph.D. Thesis, Universit\u00e9 Paris VII, France, 1991."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB38","doi-asserted-by":"crossref","unstructured":"D. Culler, S.C. Goldstein, K. Schauser, T. von Eicken, TAM \u2013 A Compiler Controlled Threaded Abstract Machine, Special Issue on Dataflow, J. Parallel Distrib. Comput. 1993.","DOI":"10.1006\/jpdc.1993.1070"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB39","unstructured":"P.L. Curien, The \u03bb\u03c1-calculus: an abstract framework for environment machines, Rapport de Recherche LIENS-88-10, Ecole Normale Sup\u00e9rieure, Paris, France, 1988."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB40","unstructured":"H.B. Curry, R. Feys, Combinatory Logic, vol. I, North-Holland, Amsterdam, 1958."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB41","doi-asserted-by":"crossref","unstructured":"J. Darlington, M.J. Reeve, ALICE: A multiple-processor reduction machine for the parallel evaluation of applicative languages, Proceedings of FPCA\u201981, 1981, pp. 65\u201376.","DOI":"10.1145\/800223.806764"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB42","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, J.-P. Jouannaud, Rewrite systems, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol. B, North-Holland, Amsterdam, 1990, pp. 243\u2013320.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB43","unstructured":"S. Diehl, Semantics-directed generation of compilers and abstract machines, Ph.D. Thesis, University Saarbr\u00fccken, Germany 1996, http:\/\/www.cs.uni-sb.de\/ diehl\/phd.html."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB44","doi-asserted-by":"crossref","unstructured":"S. Diehl, An experiment in abstract machine design, Software \u2013 Practice and Experience 27 (1) (1997).","DOI":"10.1002\/(SICI)1097-024X(199701)27:1<49::AID-SPE73>3.0.CO;2-D"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB45","unstructured":"S. Diehl, Transformations of evolving algebras, Proceedings of the VIII International Conference on Logic and Computer Science LIRA\u201997, Novi Sad,Yugoslavia, 1997, pp. 43\u201350."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB46","doi-asserted-by":"crossref","unstructured":"S. Diehl, Natural semantics-directed generation of compilers and abstract machines, Formal Aspects of Computing, in press.","DOI":"10.1007\/PL00003929"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB47","doi-asserted-by":"crossref","unstructured":"Engelhardt, Wendelborn, A partitioning-independent paradigm for nested data parallelism, Internat. J. Parallel Programming 24 (2) (1996).","DOI":"10.1007\/BF03356752"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB48","doi-asserted-by":"crossref","unstructured":"J. Fairbairn, S.C. Wray, TIM: A simple, lazy abstract machine to execute supercombinators, in: G. Kahn (Ed.), Functional Programming Languages and Computer Architecture, Portland, Oregon, Lecture Notes in Computer Science, vol. 274, Springer, Berlin, 1987, pp. 34\u201345.","DOI":"10.1007\/3-540-18317-5_3"},{"issue":"S1","key":"10.1016\/S0167-739X(99)00088-6_BIB49","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1002\/spe.4380201305","article-title":"A case for make","volume":"20","author":"Fowler","year":"1990","journal-title":"Software\u2013practice and experience"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB50","doi-asserted-by":"crossref","unstructured":"J. Gabriel, T. Lindholm, E.L. Lusk, R.A. Overbeek, A Tutorial on the Warren Abstract Machine, Technical Report ANL-84-84, Argonne National Laboratory, Argonne, IL, 1985.","DOI":"10.1007\/BF00244996"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB51","unstructured":"A. Goldberg, D. Robson, Smalltalk-80, The Language and Its Implementation, Addison-Wesley, Reading, MA, 1983."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB52","unstructured":"A. Goldberg, D. Robson, Smalltalk-80, The Language and Its Implementation, Addison-Wesley, Reading, MA, 1989."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB53","unstructured":"R.E. Griswold, The Macro Implementation of SNOLBOL4, Freeman, New York, 1972."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB54","unstructured":"R.E. Griswold, J.F. Poage, I.P. Polonsky, The SNOLBOL4 programming language, Prentice-Hall, Englewood Cliffs, New Jersey, 1971."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB55","unstructured":"G. Gupta, B. Jayaraman, A model for AND-OR parallel execution of logic programs, Proceedings of the 18th International Conference on Parallel Processing, 1989."},{"issue":"4","key":"10.1016\/S0167-739X(99)00088-6_BIB56","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1145\/183432.183458","article-title":"Operational semantics-directed compilers and machine architectures","volume":"16","author":"Hannan","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB57","doi-asserted-by":"crossref","unstructured":"M. Hanus, Compiling logic programs with equality, Proceedings of Second International Workshop on Programming Language Implementation and Logic Programming (PLILP\u201990), Lecture Notes in Computer Science, vol. 456, Springer, Berlin, 1990, pp. 387\u2013401.","DOI":"10.1007\/BFb0024197"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB58","doi-asserted-by":"crossref","unstructured":"P.H. Hartel, M. Feeley, M. Alt, L. Augustsson, P. Baumann, M. Beemster, E. Chailloux, C.H. Flood, W. Grieskamp, J.H.G, van Groningen, K. Hammond, B. Hausman, M.Y. Ivory, R.E. Jones, J. Kamperman, P. Lee, X. Leroy, R.D. Lins, S. Loosemore, N. R\u00f6jemo, M. Serrano, J.-P. Talpin, J. Thackray, S. Thomas, P. Walters, P. Weis, P. Wentworth, Benchmarking implementations of functional languages with \u201cpseudoknot\u201d, a Float-Intensive benchmark, J. Funct. Programming 6(4) (1996) 621\u2013655, ftp.wins.uva.nl pub computer-systems functional reports JFP pseudoknotI.ps.Z.","DOI":"10.1017\/S0956796800001891"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB59","doi-asserted-by":"crossref","unstructured":"M.V. Hermenegildo, An abstract machine based execution model for parallel execution of logic programs, Ph.D. Thesis, University of Texas at Austin, Austin, 1986.","DOI":"10.1007\/3-540-16492-8_62"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB60","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB61","unstructured":"J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, 1979."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB62","doi-asserted-by":"crossref","unstructured":"R.J.M. Hughes, Super-combinators: A new implementation method for applicative languages, ACM Symposium on Lisp and Functional Programming, Pittsburgh, Pennsylvania, ACM, August 1982, pp. 1\u201310.","DOI":"10.1145\/800068.802129"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB63","unstructured":"J. Hugunin, Python and Java \u2013 the best of both worlds, Proceedings of the Sixth International Python Conference, San Jose, California, October 1997, Corporation for National Research Initiatives, Reston, Virginia."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB64","unstructured":"Adobe Systems, Inc., PostScript Language Reference Manual, Addison-Wesley, Reading, MA, 1990."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB65","doi-asserted-by":"crossref","unstructured":"J. Jaffar, P.J. Stuckey, S. Michaylov, R.H.C. Yap, An Abstract Machine for CLP(R), in: PLDI\u201992, San Francisco, SIGPLAN Notices, 1992.","DOI":"10.1145\/143095.143127"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB66","unstructured":"G. Janssens, B. Demoen, A. Mari\u00ebn, Improving the register allocation in WAM by reordering unificiation, Proceedings of the Fifth International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 1388\u20131402."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB67","unstructured":"R. Johnson, K. Shen, M. Fisher, J. Keane, A. Nisbet, An abstract machine for prototyping parallel proof mechanisms, in: M. Kara, J.R. Davy, D. Goodeve, J. Nash (Eds.), Abstract Machine Model for Parallel and Distributed Computing, IOS Press, Amsterdam, 1996."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB68","doi-asserted-by":"crossref","unstructured":"T. Johnsson, Efficient compilation of lazy evaluation, Proceedings of the ACM SIGPLAN\u201984 Symposium on Compiler Construction, SIGPLAN Notices 19(6) (1984) 58\u201369.","DOI":"10.1145\/502949.502880"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB69","unstructured":"R. Jones, R. Lins, Garbage Collection \u2013 Algorithms for Automatic Dynamic Memory Management, Wiley, New York, 1996."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB70","doi-asserted-by":"crossref","unstructured":"U. J\u00f8rring, W.L. Scherlis, Compilers and staging transformations, Proceedings of the 13th ACM Symposium on Principles of Programming Languages, 1986.","DOI":"10.1145\/512644.512652"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB71","unstructured":"P. Kacsuk, Execution Models of Prolog for Parallel Computers, MIT Press, Cambridge, MA, 1990."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB72","unstructured":"J.F.T. Kamperman, H.R. Walters, ARM \u2013 Abstract rewriting machine, in: H.A. Wijshoff (Ed.), Computing Science in the Netherlands, 1993."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB73","unstructured":"M. Kara, J.R. Davy, D. Goodeve, J. Nash (Eds.), Abstract Machine Model for Parallel and Distributed Computing, IOS Press, Amsterdam, 1996."},{"issue":"8","key":"10.1016\/S0167-739X(99)00088-6_BIB74","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1002\/(SICI)1097-024X(19980710)28:8<819::AID-SPE184>3.0.CO;2-O","article-title":"Timing trials, or the trials of timing: experiments with scripting and user-interface languages","volume":"28","author":"Kernighan","year":"1998","journal-title":"Software \u2013 practice and experience"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB75","doi-asserted-by":"crossref","unstructured":"R.B. Kieburtz, The G-machine: A fast, graph-reduction evaluator, in: J.-P. Jouannaud (Ed.), Function Programming Languages and Computer Architecture, Nancy, France, September 1985, Lecture Notes in Computer Science, vol. 201. Springer, Berlin, 1985.","DOI":"10.1007\/3-540-15975-4_50"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB76","unstructured":"D.E. Knuth, TeX: The Program, Addison-Wesley, Reading, MA, 1986."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB77","unstructured":"P. Koopman, Stack Computers: the new wave, Ellis Horwood, Chichester, UK, 1989, URL: http:\/\/www.cs.cmu.edu\/ koopman\/stack\/computers\/."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB78","unstructured":"D.G. Korn, KSH \u2013 an extensible high level language, Very High Level Languages (VHLL), Santa Fe, New Mexico, Usenix Association, Berkely, CA, 1994, pp. 129\u2013146."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB79","doi-asserted-by":"crossref","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno-Navarro, M. Rodr\u00edguez-Artalejo, Graph-based implementation of a functional logic language, Proceedings of European Symposium on Programming Languages (ESOP\u201990), Lecture Notes in Computer Science, vol. 432, Springer, Berlin, 1990, pp. 271\u2013290.","DOI":"10.1007\/3-540-52592-0_69"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB80","doi-asserted-by":"crossref","unstructured":"P. Kursawe, How to invent a Prolog machine, Proceedings of the Third International Conference on Logic Programming, Lecture Notes in Computer Science, vol. 225, Springer, Berlin, 1986, pp. 134\u2013148.","DOI":"10.1007\/3-540-16492-8_70"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB81","doi-asserted-by":"crossref","unstructured":"P.J. Landin, The mechanical evaluation of expressions, Comput. J. 6 (4) (1964).","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB82","unstructured":"X. Leroy, The Zinc experiment: An economical implementation of the ML language, Rapport Technique 117, INRIA Rocquencourt, France 1990."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB83","unstructured":"INMOS Limited, Occam 2 Reference Manual, Prentice-Hall, London, 1988, ISBN 0-13-629312-3."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB84","unstructured":"INMOS Limited, Transputer Instruction Set \u2013 A Compiler Writer\u2019s Guide, Prentice-Hall, London, 1988, ISBN 0-13-929100-8."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB85","unstructured":"Y.-J. Lin, V. Kumar, AND-parallel execution of logic programs on a shared memory multiprocessor: a summary of results, Proceedings of the Fifth International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 1123\u20131141."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB86","unstructured":"T. Lindholm, F. Yellin, The Java Virtual Machine Specification, Addison-Wesley, Reading, MA, 1996."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB87","unstructured":"M. Lutz, Programming Python, O\u2019Reilly, Sebastopol, California, October 1996."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB88","unstructured":"L. Matyska, A. Jergova, D. Toman, Register allocation, in WAM, Proceedings of the Eighth International Conference on Logic Programming, MIT Press, Cambridge, MA, 1991."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB89","unstructured":"S. McKeever, A framework for generating compilers from natural semantics specifications, in: P.D. Mosses (Ed.), Proceedings of the First Workshop on Action Semantics, BRICS-NS-94-1, University of Aarhus, Denmark, 1994."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB90","doi-asserted-by":"crossref","unstructured":"M. Mehl, R. Scheidhauer, C. Schulte, An abstract machine for Oz, in: M. Hermenegildo, S.D. Swierstra (Eds.), Proceedings of the Seventh International Symposium, PLILP\u201995, vol. LNCS 982, Springer, Berlin, 1995.","DOI":"10.1007\/BFb0026819"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB91","doi-asserted-by":"crossref","unstructured":"J. Meyer, T. Downing, Java Virtual Machine, O\u2019Reilly, Sebastopol, California, 1997.","DOI":"10.1016\/S1353-4858(97)83033-4"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB92","unstructured":"The Microengine Company, Newport Beach, California, USA, Pascal Microengine Computer User\u2019s Manual, 1979."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB93","unstructured":"Sun Microsystems, Microjava-701 java processor, Sun Microsystems Data Sheet, January 1998, URL: http:\/\/www.sun.com\/microelectronics\/microJava-701."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB94","unstructured":"C. Moore, Forth: A new way to program a mini-computer, Astron. Astrophys. (Suppl.) 15 (1974) 497-511."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB95","unstructured":"C. Moore, C.H. Ting, MuP21 \u2013 a high performance MISC processor, Forth Dimensions, January 1995. URL: http:\/\/www.UltraTechnology, com\/mup21.html."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB96","doi-asserted-by":"crossref","unstructured":"L. Moreau, The PCKS-machine: An abstract machine for sound evaluation of parallel functional programs with first-class continuations, Proceedings of the European Symposium on Programming Languages (ESOP\u201994), Lecture Notes in Computer Science, vol. 788, Springer, Berlin, 1994, pp. 424\u2013438.","DOI":"10.1007\/3-540-57880-3_28"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB97","unstructured":"A. M\u00fcck, Camel: An extension of the categorial abstract machine to compile functional logic programs, PLILP\u201992, Lecture Notes in Computer Science, vol. 631, Springer, Berlin, 1992."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB98","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0743-1066(93)90026-D","article-title":"Towards a methodology for the design of abstract machines for logic programming","volume":"16","author":"Nilsson","year":"1993","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB99","doi-asserted-by":"crossref","unstructured":"K. Ogata, K. Ohhara, K. Futatsugi, TRAM: An abstract machine for order-sorted conditional term rewriting systems, Proceedings of the Eighth International Conference on Rewriting Techniques and Applications (RTA\u201997), Lecture Notes in Computer Science, vol. 1232, Springer, Berlin, 1997, pp. 335\u2013338.","DOI":"10.1007\/3-540-62950-5_84"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB100","unstructured":"J.K. Ousterhout, Tcl and the Tk tookit, Addison-Wesley, Reading, MA, 1994."},{"issue":"3","key":"10.1016\/S0167-739X(99)00088-6_BIB101","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/2.660187","article-title":"Scripting: Higher level programming for the 21st century","volume":"31","author":"Ousterhout","year":"1998","journal-title":"IEEE Computer"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB102","unstructured":"S. Pemberton, M. Daniels, Pascal Implementation: The P4 Compiler and Interpreter, Ellis Horwood, Chichester, UK, 1983, ISBN 0-13-653-0311."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB103","doi-asserted-by":"crossref","unstructured":"S.L. Peyton Jones, C.V. Hall, K. Hammond, W.D. Partain, P.L. Wadler, The Glasgow Haskell compiler: a technical overview, Joint Framework for Information Technology (JFIT) Technical Conference, Keele, England, March 1993, DTI\/SERC, pp. 249\u2013257.","DOI":"10.1007\/978-1-4471-3215-8_6"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB104","unstructured":"S.L. Peyton Jones, The Implementation of Functional Programming Languages, Prentice-Hall, Englewood Cliffs, NJ, 1987."},{"issue":"2","key":"10.1016\/S0167-739X(99)00088-6_BIB105","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800000319","article-title":"Implementing lazy functional languages on stock hardware, the spineless tagless G-machine","volume":"2","author":"Peyton Jones","year":"1992","journal-title":"J. Funct. Programming"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB106","unstructured":"S.L. Peyton Jones, C. Clark, J. Salkild, M. Hardie, GRIP: a high-performance architecture for parallel graph reduction, in: T.J. Fountain, M.J. Shute (Eds.), Multi-Processor Computer Architectures, North-Holland, Amsterdam, 1990."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB107","unstructured":"G.D. Plotkin, A structural approach to operational semantics, Technical Report FN-19, DAIMI, Aarhus University, Denmark, 1981."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB108","doi-asserted-by":"crossref","unstructured":"I.V. Ramakrishnan, P. Rao, K. Sagonas, T. Swift, D.S. Warren, Efficient tabling mechanisms for logic programs, in: L. Sterling (Ed.), Proceedings of the 12th International Conference on Logic Programming ,Tokyo, MIT Press, Cambridge, MA, 1995.","DOI":"10.7551\/mitpress\/4298.003.0067"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB109","unstructured":"B. Randell, L.J. Russel, Algol60 Implementation, Academic Press, New York, 1964."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB110","doi-asserted-by":"crossref","unstructured":"T.H. Romer, D. Lee, G.M. Voelker, A. Wolman, W.A. Wong, J.-L. Baer, B.N. Bershad, H.M. Levy, The structure and performance of interpreters, Proceedings of the 7th Int. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Cambridge, MA, September 1996, ACM, New York, 1996, pp. 150\u2013159.","DOI":"10.1145\/237090.237175"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB111","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/0743-1066(92)90054-7","article-title":"A verified Prolog compiler for the Warren abstract machine","volume":"13","author":"Russinoff","year":"1992","journal-title":"J. Logic Programming"},{"issue":"2","key":"10.1016\/S0167-739X(99)00088-6_BIB112","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1145\/244795.244802","article-title":"Formally based profiling for higher-order functional languages","volume":"19","author":"Sansom","year":"1997","journal-title":"ACM Trans. Programming Languages Systems"},{"issue":"6","key":"10.1016\/S0167-739X(99)00088-6_BIB113","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","article-title":"\u00dcber die Bausteine der mathematischen Logik","volume":"92(6)","author":"Sch\u00f6nfinkel","year":"1924","journal-title":"Mathematische Annalen"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB114","doi-asserted-by":"crossref","unstructured":"H. Seidl, R. Wilhelm, Probabilistic load balancing for parallel graph reduction, Proceedings IEEE Region 10 Conference, IEEE Press, New York, 1989.","DOI":"10.1109\/TENCON.1989.177073"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB115","unstructured":"P. Sestoft, Analysis and efficient implementation of functional programs, Ph.D. Thesis, DIKU, University of Copenhagen, Denmark, 1991, DIKU Research Report 92\/6."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB116","doi-asserted-by":"crossref","unstructured":"P. Sestoft, Deriving a lazy abstract machine, J. Programming 7 (3) (1997).","DOI":"10.1017\/S0956796897002712"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB117","unstructured":"P. Sestoft, Moscow, ML, Web Page, 1999, URL: http:\/\/www.dina.kvl.dk\/ sestoft\/mosml.html."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB118","unstructured":"S. Srinivasan, Advanced Perl Programming, O\u2019Reilly, Sebastopol, California, August 1997."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB119","doi-asserted-by":"crossref","unstructured":"T.B. Steel Jr., A first version of UNCOL, Western Joint Comp. Conf., pp. 371\u2013378. IRE and AIEE and ACM and AFIPS, New York, May 1961.","DOI":"10.1145\/1460690.1460733"},{"issue":"4","key":"10.1016\/S0167-739X(99)00088-6_BIB120","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1002\/cpe.4330020404","article-title":"PVM: a framework for parallel distributed computing","volume":"2","author":"Sunderam","year":"1990","journal-title":"Software \u2013 Practice and Experience"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB121","unstructured":"A.S. Tanenbaum, Modern Operating Systems, Prentice-Hall, Englewood Cliffs, NJ, 1992."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB122","doi-asserted-by":"crossref","unstructured":"P.W. Trinder, K. Hammond, J.S. Mattson Jr., A.S. Patridge, GUM: a portable parallel implementation of Haskell, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201996), Philadelphia, 1996.","DOI":"10.1145\/231379.231392"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB123","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","article-title":"A new implementation technique for applicative languages","volume":"9","author":"Turner","year":"1979","journal-title":"Software \u2013 Practice and Experience"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB124","doi-asserted-by":"crossref","unstructured":"P. van Roy, 1983\u20131993: The wonder years of sequential Prolog implementation, J. Logic Programming (1994).","DOI":"10.1016\/0743-1066(94)90031-0"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB125","unstructured":"P. van Roy, A.M. Despain, The benefits of global dataflow analysis for an optimizing Prolog compiler, Proceedings of the 1990 North American Conference on Logic Programming, MIT Press, Cambridge, MA, 1990."},{"issue":"5","key":"10.1016\/S0167-739X(99)00088-6_BIB126","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1145\/265943.265972","article-title":"Mobile objects in distributed Oz","volume":"19","author":"van Roy","year":"1997","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB127","unstructured":"P.L. van Roy, Can logic programming execute as fast as imperative programming, Ph.D. Thesis, University of California at Berkley, Berkley, 1990."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB128","unstructured":"L. Wall, T. Christiansen, R.L. Schwartz, Programming Perl, 2nd ed., O\u2019Reilly, Sebastopol, California, September 1996."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB129","doi-asserted-by":"crossref","unstructured":"H.R. Walters, J.F.Th. Kamperman, EPIC: an equational language \u2013 abstract machine and supporting tools, Proceedings of the Seventh Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science, vol. 1103, Springer, Berlin, 1996, pp. 424\u2013427.","DOI":"10.1007\/3-540-61464-8_72"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB130","doi-asserted-by":"crossref","unstructured":"M. Wand, Semantics-directed machine architecture, Proceedings of POPL 82, 1982.","DOI":"10.1145\/582153.582179"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB131","doi-asserted-by":"crossref","unstructured":"M. Wand, From interpreter to compiler: a representational derivation, in: H. Ganzinger, N.D. Jones (Eds.), Programs as Data Objects, Lecture Notes in Computer Science, vol. 217, Springer, Berlin, 1986.","DOI":"10.1007\/3-540-16446-4_17"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB132","unstructured":"D.H.D. Warren, Implementing Prolog \u2013 compiling predicate logic programs, D.A.I Research Report No. 40, Edinburgh, 1977."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB133","unstructured":"D.H.D. Warren, An abstract Prolog instruction set, Technical Note 309, SRI International, Menlo Park, CA, 1983."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB134","unstructured":"D.H.D. Warren, The SRI-Model for OR-Parallel Execution of Prolog \u2013 Abstract Design and Implementation Issues, IEEE Symposium on Logic Programming, San Francisco, 1987, pp. 125\u2013133."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB135","unstructured":"Pierre Weis, The Caml Language, Web Page, 1999, URL: http:\/\/pauillac.inria.fr\/caml\/."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB136","unstructured":"B. Weissman, B. Gomes, J.W. Quittek, M. Holtkamp, Efficient fine-grain thread migration with active threads, Proceedings of 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, 1996."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB137","doi-asserted-by":"crossref","unstructured":"R. Wilhelm, M. Alt, F. Martin, M. Raber, Parallel implementation of functional languages, in: M. Dam (Ed.), Fifth LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages, Lecture Notes in Computer Science, vol. 1192, Springer, Berlin, June 1997.","DOI":"10.1007\/3-540-62503-8_13"},{"key":"10.1016\/S0167-739X(99)00088-6_BIB138","unstructured":"R. Wilhelm, D. Maurer, Compiler Design: Theory, Construction, Generation, Addison-Wesley, Reading, MA, 1995."},{"key":"10.1016\/S0167-739X(99)00088-6_BIB139","unstructured":"S. Wintner, E. Gabrilovich, N. Francez, Amalia \u2014a unified platform for parsing and generation, Proceedings of Recent Advances in Natural Language Processing, Tzigov Chark, Bulgaria, 1997."}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X99000886?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X99000886?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,2]],"date-time":"2024-01-02T07:54:54Z","timestamp":1704182094000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167739X99000886"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":139,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["S0167739X99000886"],"URL":"https:\/\/doi.org\/10.1016\/s0167-739x(99)00088-6","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}