{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:14Z","timestamp":1725484574617},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540655275"},{"type":"electronic","value":"9783540492016"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49201-1_17","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T06:56:07Z","timestamp":1179644167000},"page":"243-258","source":"Crossref","is-referenced-by-count":2,"title":["Multiple Specialization of WAM Code"],"prefix":"10.1007","author":[{"given":"Michel","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Damas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Hassan A\u00eft-Kaci. Warren\u2019s Abstract Machine \u2014 A Tutorial Reconstruction. MIT Press, 1991.","key":"17_CR1","DOI":"10.7551\/mitpress\/7160.001.0001"},{"unstructured":"M. Bruynooghe and G. Jenssens. An instance of abstract interpretation integrating type and mode inferencing. In Proc. of ICSLP\u201988, pages 669\u2013683, Seattle, Washington, 1988. MIT Press.","key":"17_CR2"},{"doi-asserted-by":"crossref","unstructured":"Philippe Codognet and Daniel Diaz. wamcc: Compiling Prolog to C. In Proc. of ICLP\u201995. MIT Press, 1995.","key":"17_CR3","DOI":"10.7551\/mitpress\/4298.003.0037"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. of SPPL\u201977, pages 238\u2013252, Los Angeles, California, 1977.","key":"17_CR4","DOI":"10.1145\/512950.512973"},{"issue":"3","key":"17_CR5","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"S. K. Debray","year":"1988","unstructured":"S. K. Debray and D. S. Warren. Automatic mode inference for prolog programs. The Journal of Logic Programming, 5(3):78\u201388, September 1988.","journal-title":"The Journal of Logic Programming"},{"unstructured":"D. Gudeman, K. De Bosschere, and S. Debray. jc: An efficient and portable sequential implementation of janus. In Joint International Conference and Symposium on Logic Programming, Washington, 1992. \u201cMIT Press\u201d.","key":"17_CR6"},{"doi-asserted-by":"crossref","unstructured":"B. Haussman. Turbo Erlang: Approaching the Speed of C. In Evan Tick, editor, Implementations of Logic Programming Systems. Kluwer, 1994.","key":"17_CR7","DOI":"10.1007\/978-1-4615-2690-2_9"},{"doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, R. Warren, and S. K. Debray. Global Flow Analysis as a Practical Compilation Tool. JLP, 13(4):349\u2013367, August 1992.","key":"17_CR8","DOI":"10.1016\/0743-1066(92)90053-6"},{"unstructured":"D. Jacobs and A. Langen. Accurate and efficient approximation of variable aliasing in logic programs. In Proc. NACLP\u201989, pages 154\u2013165. \u201cMIT Press\u201d, 1989.","key":"17_CR9"},{"key":"17_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BFb0024180","volume-title":"Proc. of PLIP\u201d90","author":"A. Krall","year":"1990","unstructured":"A. Krall and U. Neumerkel. The Vienna Abstract Machine. In Proc. of PLIP\u201d90, number 456 in LNCS, pages 121\u2013135. Sweeden, Springer-Verlag, 1990."},{"key":"17_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc of ICLP\u201986","author":"C. S. Mellish","year":"1986","unstructured":"C. S. Mellish. Abstract interpretation of prolog programs. In Proc of ICLP\u201986, number 225 in Lecture Notes in Computer Science. Springer-Verlag, 1986."},{"key":"17_CR12","volume-title":"[To appear in the proceedings of IFL\u201997]","author":"S. P. Jones","year":"1997","unstructured":"S. Peyton Jones, T. Nordin, and D. Oliva. C-: a portable assembly language. In [To appear in the proceedings of IFL\u201997]., St. Andrews, Scotland, 1997."},{"doi-asserted-by":"crossref","unstructured":"J. Tan and I. Lin. Compiling dataflow analysis of logic programs. In Proc. of PLDI\u201992, pages 106\u2013115, San Francisco, California, 1992. SIGPLAN.","key":"17_CR13","DOI":"10.1145\/143095.143123"},{"unstructured":"A. Taylor. High Performance Prolog Implementation. PhD thesis, University of Sydney, June 1991.","key":"17_CR14"},{"key":"17_CR15","volume-title":"PhD thesis","author":"P. V. Roy","year":"1990","unstructured":"P. Van Roy. Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, University of California at Berkeley, November 1990."},{"unstructured":"P. Van Roy. 1983\u20131993: The Wonder Years of Sequential Prolog Implementation. The Journal of Logic Programming, 19\/20, May\/July 1994.","key":"17_CR16"},{"unstructured":"David H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, 1983.","key":"17_CR17"},{"unstructured":"W. H. Winsborough. Path-dependent reachability analysis for multiple specialization. In Proc. of NACLP\u201989. \u201cMIT Press\u201d, 1989.","key":"17_CR18"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49201-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T12:07:11Z","timestamp":1707912431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49201-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540655275","9783540492016"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-49201-1_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}