{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:07:54Z","timestamp":1725890874410},"publisher-location":"London","reference-count":9,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_17","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T01:49:46Z","timestamp":1356832186000},"page":"242-252","source":"Crossref","is-referenced-by-count":3,"title":["On the Transformation of a Prolog Program to a more efficient binary Program"],"prefix":"10.1007","author":[{"given":"Bart","family":"Demoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","first-page":"70","volume-title":"Compiling Control, Proc","author":"D Schreye","year":"1986","unstructured":"M.Bruynooghe, D. De Schreye, B.Krekels, \u2018Compiling Control\u2019, Proc. Third Symposium on Logic Programming, Salt Lake City, 1986, pp. 70\u201377"},{"key":"17_CR2","first-page":"165","volume":"592","author":"B Demoen","year":"1992","unstructured":"B. Demoen, A. Marien, \u2018Implementation of Prolog as binary definite Programs\u2019 Proceedings of the Second Russion Conference on Logic Programming, Lecture Notes in Artificial Intelligence, 592, p. 165\u2013176, March 1992","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"17_CR3","volume-title":"Private communication","author":"J Gallagher","year":"1991","unstructured":"J. Gallagher, private communication, April 1991"},{"key":"17_CR4","volume-title":"Improving the register allocation in Wam by reordering unification Proceeding of the International Conference & Symposium on Logic Programming","author":"G Jarnsens","year":"1988","unstructured":"G. Jarnsens, B. Demoen, A. Marien, \u2018Improving the register allocation in WAM by reordering unification\u2019 Proceeding of the International Conference & Symposium on Logic Programming, Seattle, Washington Aug 1988"},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"2","author":"CS Mellish","year":"1985","unstructured":"C.S. Mellish, \u2018Some Global Optimizations for a Prolog Compiler\u2019, Journal of Logic Programming, 2 (1): 43\u201366, 1985","journal-title":"Journal of Logic Programming"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"M. Proietti, A. Pettorossi, \u2018Unfolding - Definition - Folding, in this Order, for avoiding unnecessary Variables in Logic Programs\u2019, Proceedings of PLILP\u201991, pp. 347\u2013358, (eds) P. Deransart & J. Maluszynski, Springer- Verlag 1991","DOI":"10.1007\/3-540-54444-5_111"},{"key":"17_CR7","unstructured":"P. Tarau, M. Boyer. 159\u2013173, (eds) P. Deransart & J. Maluszynski, Springer- Verlag 1990"},{"key":"17_CR8","volume-title":"Proc. ECAI84, Pisa","author":"R Venken","year":"1984","unstructured":"R. Venken, \u2018A Prolog meta-interpreter for partial evaluation and its application to source-to-source transformation and query optimisation\u2019, Proc. ECAI\u201984, Pisa 1984"},{"key":"17_CR9","volume-title":"Technical Report, Sri International, Artificial Intelligence Center","author":"DH Warren","year":"1983","unstructured":"D.H.D. Warren, \u2018An Abstract Prolog Instruction Set\u2019 Technical Report, SRI International, Artificial Intelligence Center, August 1983"}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T23:20:57Z","timestamp":1557444057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_17","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}