{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:13Z","timestamp":1725664993280},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_90","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:20:10Z","timestamp":1330294810000},"page":"259-273","source":"Crossref","is-referenced-by-count":0,"title":["Program Sharing: A new implementation approach for Prolog"],"prefix":"10.1007","author":[{"given":"Xining","family":"Li","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"18_CR1","unstructured":"R. S. Boyer and J. S. Moore. The Sharing of Structure in Theorem Proving Programs. Machine Intelligence 7 (B. Meltzer and D. Miche, eds.), Edinburgh University Press, 1972, pp. 101\u2013116."},{"key":"18_CR2","unstructured":"D. H. D. Warren. Logic Programming and Compiler Writing. Technique Report: DAI 44, University of Edinburgh, 1977."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Z. Farkas, P. Koves and P. Szeredi. MProlog: An Implementation Overview. Implementations of Logic Programming Systems, Kluwer Academic Publishers, 1994, pp. 103\u2013117.","DOI":"10.1007\/978-1-4615-2690-2_8"},{"key":"18_CR4","unstructured":"M. Bruynooghe. An Interpreter for Predicate Programs: Part 1. Technique Report CW 16, Katholieke Universiteit Leuven, 1976."},{"key":"18_CR5","unstructured":"D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 209, SIR International, 1983."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"H. Ait-Kaci. Warren's Abstract Machine: a Tutorial Reconstruction. MIT Press, 1991.","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"A. Krall and U. Neumerkel. The Vienna Abstract Machine. In PLILP'90, LNCS. Springer, 1990.","DOI":"10.1007\/BFb0024180"},{"issue":"No.1","key":"18_CR8","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/2.108055","volume":"25","author":"P. Roy Van","year":"1992","unstructured":"P. Van Roy and A. M. Despain. High-Performance Logic Programming with the Aquarius Prolog Compiler. IEEE Computer, Vol. 25, No. 1, 1992, pp. 54\u201368.","journal-title":"IEEE Computer"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"E. Tick and G. Succi. Implementations of Logic Programming Systems. Kluwer Academic Publishers, 1994.","DOI":"10.1007\/978-1-4615-2690-2"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"P. Codognet and D. Diaz. wamcc: Compiling Prolog to C. PLILP'95, The MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0037"},{"key":"18_CR11","unstructured":"D. H. D. Warren. Foreword in Warren's Abstract Machine: a Tutorial Reconstruction. MIT Press, 1991, pp. xiii\u2013xiv."},{"key":"18_CR12","unstructured":"C. S. Mellish. An Alternative to Structure Sharing in the Implementation of a Prolog Interpreter. Logic Programming, Academic Press, 1982."},{"key":"18_CR13","unstructured":"M. Bruynooghe. The Memory Management of Prolog Implementations. Logic Programming, Academic Press, 1982."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_90.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:44:52Z","timestamp":1713635092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_90","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}