{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:59:40Z","timestamp":1763225980579},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:54:39Z","timestamp":1330271679000},"page":"73-87","source":"Crossref","is-referenced-by-count":5,"title":["A novel term compression scheme and data representation in the BinWAM"],"prefix":"10.1007","author":[{"given":"Paul","family":"Tarau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Neumerkel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"A. Appel. Compiling with Continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"7_CR2","unstructured":"M. Carlsson. Design and Implementation of an OR-Parallel Prolog Engine. Phd thesis, SICS, 1990."},{"issue":"13","key":"7_CR3","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1145\/362790.362798","volume":"11","author":"C. J. Cheney","year":"1970","unstructured":"C. J. Cheney. A nonrecursive list compacting algorithm. Communications of ACM, 11(13):677\u2013678, Nov. 1970.","journal-title":"Communications of ACM"},{"key":"7_CR4","unstructured":"B. Demoen. On the Transformation of a Prolog program to a more efficient Binary program. Technical Report 130, K.U.Leuven, Dec. 1990."},{"key":"7_CR5","series-title":"number 592 in Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-55460-2_12","volume-title":"Logic Programming, RCLP Proceedings","author":"B. Demoen","year":"1992","unstructured":"B. Demoen and A. Mari\u00ebn. Implementation of Prolog as binary definite Programs. In A. Voronkov, editor, Logic Programming, RCLP Proceedings, number 592 in Lecture Notes in Artificial Intelligence, pages 165\u2013176, Berlin, Heidelberg, 1992. Springer-Verlag."},{"key":"7_CR6","volume-title":"Phd thesis","author":"T. Dobry","year":"1987","unstructured":"T. Dobry. A High Performance Architecture for Prolog. Phd thesis, University of California at Berkley, 1987."},{"key":"7_CR7","unstructured":"A. Mari\u00ebn. An Optimal Intermediate Code for Structure Creation in a WAM-based Prolog Implementation. Technical report, K.U.Leuven, May 1988."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"U. Neumerkel. A transformation based on the equality between terms. In Logic Program Synthesis and Transformation, LOPSTR 1993. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3234-9_15"},{"key":"7_CR9","first-page":"119","volume-title":"A Simplified Abstract Machine for the execution of Binary Metaprograms","author":"P. Tarau","year":"1991","unstructured":"P. Tarau. A Simplified Abstract Machine for the execution of Binary Metaprograms. In Proceedings of the Logic Programming Conference'91, pages 119\u2013128. ICOT, Tokyo, 7 1991."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"P. Tarau. Ecological Memory Managment in a Continuation Passing Prolog Engine. In Y. Bekkers and J. Cohen, editors, Memory Management International Workshop IWMM 92 Proceedings, number 637 in Lecture Notes in Computer Science, pages 344\u2013356. Springer, Sept. 1992.","DOI":"10.1007\/BFb0017200"},{"key":"7_CR11","first-page":"462","volume-title":"number 592 in Lecture Notes in Artificial Intelligence","author":"P. Tarau","year":"1992","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":"7_CR12","unstructured":"P. Tarau. Wam-optimizations in BinProlog: towards a realistic continuation passing prolog engine. Technical Report 92-3, Dept. d'Informatique, Universit\u00e9 de Moncton, July 1992. available by ftp from clement.info.umoncton.ca."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"P. Tarau and M. Boyer. Elementary Logic Programs. In P. Deransart and J. Ma\u0142uszy\u0144ski, editors, Proceedings of Programming Language Implementation and Logic Programming, number 456 in Lecture Notes in Computer Science, pages 159\u2013173. Springer, Aug. 1990.","DOI":"10.1007\/BFb0024183"},{"key":"7_CR14","unstructured":"P. Van Roy. Can Logic programming Execute as Fast as Imperative Programming. Phd thesis, University of California at Berkley, 1990."},{"issue":"1","key":"7_CR15","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/322169.322183","volume":"27","author":"M. Wand","year":"1980","unstructured":"M. Wand. Continuation-based program transformation strategies. Journal of the Association for Computing Machinery, 27(1):164\u2013180, 1980.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"7_CR16","unstructured":"D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 309, SRI International, Oct. 1983."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:04Z","timestamp":1605648004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}