{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:43:01Z","timestamp":1725486181872},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433699"},{"type":"electronic","value":"9783540459378"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45937-5_15","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T21:39:18Z","timestamp":1181165958000},"page":"197-212","source":"Crossref","is-referenced-by-count":4,"title":["Compiling Mercury to High-Level C Code"],"prefix":"10.1007","author":[{"given":"Fergus","family":"Henderson","sequence":"first","affiliation":[]},{"given":"Zoltan","family":"Somogyi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1002\/spe.4380180902","volume":"18","author":"H. Boehm","year":"1988","unstructured":"H. Boehm and M. Weiser. Garbage collection in an uncooperative environment. Software Practice and Experience, 18:807\u2013820, 1988.","journal-title":"Software Practice and Experience"},{"key":"15_CR2","unstructured":"T. M. Breuel. Lexical closures for C++. In Proceedings of the 1988 USENIX C++ Conference, pages 293\u2013304, Denver, Colorado, 1988."},{"key":"15_CR3","unstructured":"F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. L\u00f3pez-Garc\u00eda, and G. Puebla. The Ciao Prolog system. reference manual. Technical Report CLIP3\/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. Available from http:\/\/www.clip.dia...upm.es\/ ."},{"key":"15_CR4","unstructured":"L. Byrd. Understanding the control of Prolog programs. Technical Report 151, University of Edinburgh, 1980."},{"issue":"4","key":"15_CR5","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF03037326","volume":"2","author":"M. Carlsson","year":"1984","unstructured":"M. Carlsson. On implementing Prolog in functional programming. New Generation Computing, 2(4):347\u2013359, 1984.","journal-title":"New Generation Computing"},{"key":"15_CR6","unstructured":"P. Codognet and D. Diaz. wamcc: Compiling Prolog to C. In Proceedings of the Twelfth International Conference on Logic Programming, pages 317\u2013331, Kanagawa, Japan, June 1995."},{"key":"15_CR7","unstructured":"T. Conway, F. Henderson, and Z. Somogyi. Code generation for Mercury. In Proceedings of the Twelfth International Conference on Logic Programming, pages 242\u2013256, Portland, Oregon, December 1995."},{"key":"15_CR8","unstructured":"T. Dowd, F. Henderson, and P. Ross. Compiling Mercury to the.NET Common Language Runtime. In Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, pages 70\u201385, Firenze, Italy, September 2001."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"B. Hausman. Turbo Erlang: approaching the speed of C. In E. Tick, editor, Implementations of logic programming systems, pages 119\u2013135. Kluwer, 1994.","DOI":"10.1007\/978-1-4615-2690-2_9"},{"key":"15_CR10","unstructured":"F. Henderson, Z. Somogyi, and T. Conway. Compiling logic programs to C using GNU C as a portable assembler. In Proceedings of the ILPS\u2019 95 Postconference Workshop on Sequential Implementation Technologies for Logic Programming Languages, Portland, Oregon, December 1995."},{"key":"15_CR11","unstructured":"F. Henderson, Z. Somogyi, and T. Conway. Determinism analysis in the Mercury compiler. In Proceedings of the Australian Computer Science Conference, pages 337\u2013346, Melbourne, Australia, January 1996."},{"key":"15_CR12","unstructured":"J. F. Nilsson. On the compilation of a domain-based Prolog. In Proceedings of the Ninth IFIP Congress, pages 293\u2013298, Paris, France, 1983."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"J. O'Bagy and R. E. Griswold. A recursive interpreter for the Icon programming language. In Proceedings of the 1987 SIGPLAN Symposium on Interpreters and Interpretive Techniques, pages 138\u2013149, St. Paul, Minnesota, 1987.","DOI":"10.1145\/29650.29665"},{"issue":"1\u20133","key":"15_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1\u20133):17\u201364, October\u2013December 1996.","journal-title":"Journal of Logic Programming"},{"issue":"1\u20133","key":"15_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0743-1066(96)00063-5","volume":"29","author":"P. Tarau","year":"1996","unstructured":"P. Tarau, K. D. Bosschere, and B. Demoen. Partial translation: towards a portable and efficient Prolog implementation technology. Journal of Logic Programming, 29(1\u20133):65\u201383, October\u2013December 1996.","journal-title":"Journal of Logic Programming"},{"key":"15_CR16","unstructured":"A. Taylor. LIPS on a MIPS: results from a Prolog compiler for a RISC. In Proceedings of the Seventh International Conference on Logic Programming, pages 174\u2013185, Jerusalem, Israel, June 1990."},{"issue":"1","key":"15_CR17","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. Despain. High-performance logic programming with the Aquarius Prolog compiler. IEEE Computer, 25(1):54\u201368, January 1992.","journal-title":"IEEE Computer"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"J. Weiner and S. Ramakrishnan. A piggy-back compiler for Prolog. In Proceedings of the SIGPLAN\u2019 88 Conference on Programming Language Design and Implementation, pages 288\u2013296, Atlanta, Georgia, June 1988.","DOI":"10.1145\/53990.54019"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45937-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:42:21Z","timestamp":1556466141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45937-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433699","9783540459378"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45937-5_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}