{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T14:03:32Z","timestamp":1749737012195},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664505"},{"type":"electronic","value":"9783662010693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-662-01069-3_58","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T10:47:02Z","timestamp":1371725222000},"page":"390-399","source":"Crossref","is-referenced-by-count":11,"title":["An Efficient Abstract Machine for Curry"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Lux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"58_CR1","first-page":"17","volume-title":"Proc. 4th Ilps","author":"H Alt-Kaci","year":"1987","unstructured":"H. Alt-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and functions. In Proc. 4th ILPS, pages 17\u201323, 1987."},{"key":"58_CR2","doi-asserted-by":"crossref","unstructured":"G. Gupta. Multiprocessor Execution of Logic Programs. Kluwer, 1994.","DOI":"10.1007\/978-1-4615-2778-7"},{"key":"58_CR3","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"20","author":"M Hanus","year":"1994","unstructured":"M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19 and 20: 583\u2013628, 1994.","journal-title":"Journal of Logic Programming"},{"key":"58_CR4","unstructured":"M. Hanus. Curry: An integrated functional logic language, (version 0.5). http:\/\/www-i2.informatik.rwth-aachen.de\/`hanus\/curry, 1999."},{"key":"58_CR5","first-page":"1","volume-title":"Proc. of the ILPS 95 Postconference Workshop on Sequential Implementation Technologies forLogic Programming Languages","author":"F Henderson","year":"1995","unstructured":"F. Henderson, Th. Conway, and Z. Somogyi. Compiling logic programs to C using GNU C as a portable assembler. In Proc. of the ILPS \u201885\n                  Postconference Workshop on Sequential Implementation Technologies for\n                  Logic Programming Languages, pages 1\u201315, 1995."},{"key":"58_CR6","first-page":"95","volume-title":"Proc. ILPS95 Workshop on Visions for the Future of Logic Programming","author":"M Hanus","year":"1995","unstructured":"M. Hanus, H. Kuchen, and J. Moreno-Navarro. Curry: A truly functional logic language. In Proc. ILPS\u201995 Workshop on Visions for the Future of Logic Programming, pages 95\u2013107, 1995."},{"key":"58_CR7","doi-asserted-by":"crossref","unstructured":"P. Hudak, S. Peyton Jones, and P. Wadler. Report on the programming language Haskell (version 1.2). SIGPLAN Notices, 27 (5), 1992.","DOI":"10.1145\/130697.130699"},{"key":"58_CR8","volume-title":"Proc. ILPS\u201997 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages","author":"M Hanus","year":"1997","unstructured":"M. Hanus and R. Sadre. A concurrent implementation of Curry in Java. In Proc. ILPS\u201997 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, 1997."},{"key":"58_CR9","volume-title":"Proc. PLILP98","author":"M Hanus","year":"1998","unstructured":"M. Hanus and F. Steiner. Controlling search in functional logic programs. In Proc. PLILP\u201998, 1998."},{"key":"58_CR10","volume-title":"Compiling lazy functional languages","author":"T Johnsson","year":"1987","unstructured":"T. Johnsson. Compiling lazy functional languages. PhD thesis, Chalmers Univ. of Technology, 1987."},{"key":"58_CR11","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BF03037211","volume":"14","author":"H Kuchen","year":"1996","unstructured":"H. Kuchen, R. Loogen, J. Moreno-Navarro, and M. Rodriguez-Artalejo. The functional logic language Babel and its implementation on a graph machine. New Generation Computing, 14: 391\u2013427, 1996.","journal-title":"New Generation Computing"},{"key":"58_CR12","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF03037158","volume":"11","author":"R Loogen","year":"1993","unstructured":"R. Loogen. Relating the implementation techniques of functional and functional logic languages. New Generation Computing, 11: 179\u2013215, 1993.","journal-title":"New Generation Computing"},{"key":"58_CR13","doi-asserted-by":"crossref","unstructured":"R. Milner. A theory of type polymorphism in programming. Journal of Computer System Science, 17 (3), 1978.","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"58_CR14","doi-asserted-by":"crossref","unstructured":"M. Mehl, R. Scheidhauer, and Ch. Schulte. An abstract machine for Oz. In Proc. PLILP\u201995,pages 151\u2013168. Springer, LNCS 982, 1995..","DOI":"10.1007\/BFb0026819"},{"issue":"1","key":"58_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1017\/S0956796800000277","volume":"2","author":"S Peyton-Jones","year":"1992","unstructured":"S. Peyton Jones. Implementing lazy functional languages on stock hardware: The spineless tagless G-machine. Journal of Functional Programming, 2 (1): 73\u201380, Jan 1992.","journal-title":"Journal of Functional Programming"},{"key":"58_CR16","first-page":"123","volume-title":"Proc. 20th POPL93","author":"S Peyton-Jones","year":"1993","unstructured":"S. Peyton Jones and P. Wadler. Imperative functional programming. In Proc. 20th POPL\u201993, pages 123\u2013137, 1993."},{"key":"58_CR17","first-page":"138","volume-title":"Proc. ILPS85","author":"U Reddy","year":"1985","unstructured":"U. Reddy. Narrowing as the operational semantics of functional languages. In Proc. ILPS\u201985, pages 138\u2013151, 1985."},{"key":"58_CR18","first-page":"1995","volume-title":"Current Trends in Computer Science. Springer Lncs","author":"G Smolka","year":"1000","unstructured":"G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Current Trends in Computer Science. Springer LNCS 1000, 1995."},{"key":"58_CR19","volume-title":"Mit Press","author":"L Sterling","year":"1986","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1986."},{"key":"58_CR20","volume-title":"Sri","author":"D Warren","year":"1983","unstructured":"D. Warren. An abstract Prolog instruction set. TR 309, SRI, 1983."}],"container-title":["Informatik aktuell","Informatik\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01069-3_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T05:24:31Z","timestamp":1557811471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01069-3_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664505","9783662010693"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01069-3_58","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1999]]}}}