{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:22Z","timestamp":1725663802886},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540554608"},{"type":"electronic","value":"9783540470830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55460-2_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:05:37Z","timestamp":1330250737000},"page":"165-176","source":"Crossref","is-referenced-by-count":3,"title":["Implementation of Prolog as binary definite programs"],"prefix":"10.1007","author":[{"given":"Bart","family":"Demoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Mari\u00ebn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"J. Barklund,\u2019 Efficient interpretation of Prolog Programs\u2019 Proc. of the SIGPLAN'87 Symp on Interpreters and Interpretative Techniques, St.Paul, 1987, pp 132\u2013137","DOI":"10.1145\/29650.29664"},{"key":"12_CR2","unstructured":"S. Debray,\u2019 Register Allocation in a Prolog Machine'3SLP 1986"},{"key":"12_CR3","unstructured":"B. Demoen, \u201cOn the Transformation of a Prolog Program to a more efficient binary Program\u201d April 1991, KUL-CW report 130"},{"key":"12_CR4","unstructured":"A. Marien, B. Demoen,\u2019 On the Management of E and B in WAM\u2019 Proceedings of NACLP'89 (North American Conference on Logic Programming, Cleveland, Ohio, oct 1989) p. 1030\u20131047"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"P. Tarau, M. Boyer,\u2019 Elementary Logic Programs', proceedings of PLILP'90, pp. 159\u2013173, (eds) P. Deransart & J. Maluszynski, Springer-Verlag 1990","DOI":"10.1007\/BFb0024183"},{"key":"12_CR6","unstructured":"R. Venken,\u2019 A Prolog meta-interpreter for partial evaluation and its application to source-to-source transformation and query optimisation', Proc. ECAI'84, Pisa 1984"},{"key":"12_CR7","unstructured":"D.H.D. Warren,\u2019 An Abstract Prolog Instruction Set\u2019 Technical Report, SRI International, Artificial Intelligence Center, August 1983"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55460-2_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:14Z","timestamp":1619573474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55460-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540554608","9783540470830"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-55460-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}