{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:32Z","timestamp":1725484832868},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_83","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"1240-1254","source":"Crossref","is-referenced-by-count":18,"title":["So Many WAM Variations, So Little Time"],"prefix":"10.1007","author":[{"given":"Bart","family":"Demoen","sequence":"first","affiliation":[]},{"given":"Phuong-Lan","family":"Nguyen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"83_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine: A Tutorial Reconstruction","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"H. A\u00eft-Kaci. Warren\u2019s Abstract Machine: A Tutorial Reconstruction. The MIT Press, Cambridge, Massachusetts, 1991."},{"unstructured":"M. Carlsson. Freeze, Indexing and Other Implementation Issues in the WAM. Proceedings of the 4th International Conference on Logic Programming, Melbourne, 1987, pp 40\u201358","key":"83_CR2"},{"key":"83_CR3","volume-title":"PhD thesis","author":"M. Carlsson","year":"1990","unstructured":"M. Carlsson. Design and Implementation of an Or-Parallel Prolog Engine. PhD thesis, The Royal Institute of Technology (KTH), Stokholm, Sweden, Mar. 1990."},{"key":"83_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/10704567_16","volume-title":"Proceedings of PPDP\u201999","author":"V. S. Costa","year":"1999","unstructured":"V. S. Costa, Optimising Bytecode Emulation for Prolog. Proceedings of PPDP\u201999, LNCS 1702, Springer-Verlag, 261\u2013277, September, 1999."},{"unstructured":"B. Demoen, M. Garc\u00fda de la Banda, W. Harvey, K. Marriott, and P. Stuckey. Herbrand Constraint Solving in HAL. Proceedings of the International Conference on Logic Programming 1999, Las Cruces, New Mexico, ed. D. De Schreye, MIT Press, pp. 260\u2013274","key":"83_CR5"},{"unstructured":"B. Demoen, G. Janssens, H. Vandecasteele. Executing Query Flocks for ILP. Proceedings of BENELOG\u201999, Maastricht, 5 November 1999","key":"83_CR6"},{"doi-asserted-by":"crossref","unstructured":"B. Demoen, K. Sagonas. Heap Garbage Collection in XSB: Practice and Experience Proceedings of the Second Int. Workshop on Practical Aspects of Declarative Languages, Boston, Jan. 2000, pp. 93\u2013108","key":"83_CR7","DOI":"10.1007\/3-540-46584-7_7"},{"unstructured":"G. Janssens, B. Demoen, A. Mari\u00ebn. Improving the register allocation in WAM by reordering unification. Int. Conference & Symposium on Logic Programming, Seattle, Washington aug 1988, pp. 1388\u20131402","key":"83_CR8"},{"unstructured":"A. Mari\u00ebn, B. Demoen. On the management of E and B in WAM. Proceedings of the North American Conference on Logic Programming, Cleveland, Ohio, oct 1989, pp. 1030\u20131047","key":"83_CR9"},{"key":"83_CR10","volume-title":"Rapport de DEA","author":"P.-L. Nguyen","year":"1988","unstructured":"Phuong-Lan Nguyen. Optimisation du Code produit par un Compilateur Prolog. Rapport de DEA, ENSIMAG, Laboratoire de G\u00e9nie Informatique, Grenoble, 1988"},{"unstructured":"T. Lindgren, P. Mildner, and J. Bevemyr. On Taylor\u2019s scheme for unbound variables. Technical report, UPMAIL, October 1995.","key":"83_CR11"},{"doi-asserted-by":"crossref","unstructured":"P. Tarau. Program Transformations and WAM-support for the Compilation of Definite Metaprograms. In A. Voronkov, editor, Logic Programming, RCLP Proceedings, number 592 in Lecture Notes in Artificial Intelligence, pages 462\u2013473, Berlin, Heidelberg, 1992. Springer-Verlag.","key":"83_CR12","DOI":"10.1007\/3-540-55460-2_35"},{"key":"83_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-58402-1_7","volume-title":"Proceedings of Programming Language Implementation and Logic Programming","author":"P. Tarau","year":"1994","unstructured":"P. Tarau and U. Neumerkel. A Novel Term Compression Scheme and Data Representation in the BinWAM. Proceedings of Programming Language Implementation and Logic Programming, sept. 1994, Springer, LNCS 844, pp. 73\u201387"},{"doi-asserted-by":"crossref","unstructured":"A. Taylor. PARMA-bridging the performance gap between imperative and logic programming. Journal of Logic Programming, 29(1\u20133), 1996.","key":"83_CR14","DOI":"10.1016\/S0743-1066(96)00065-9"},{"key":"83_CR15","volume-title":"Report 90\/600","author":"P. Roy Van","year":"1990","unstructured":"P. Van Roy. Can Logic Programming Execute as Fast as Imperative Programming? Report 90\/600, UCB\/CSD, Berkeley, California 94720, Dec 1990."},{"key":"83_CR16","volume-title":"Technical Report 309","author":"D. H. D. Warren","year":"1983","unstructured":"D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI International, Menlo Park, U.S.A., Oct. 1983."},{"unstructured":"See http:\/\/www.cs.sunysb.edu\/~sbprolog\/ .","key":"83_CR17"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_83","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T16:26:49Z","timestamp":1587572809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_83","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}