{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T17:38:17Z","timestamp":1748367497833},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666776"},{"type":"electronic","value":"9783540479505"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10705424_7","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T00:25:50Z","timestamp":1167351950000},"page":"100-113","source":"Crossref","is-referenced-by-count":8,"title":["Implementing Encapsulated Search for a Lazy Functional Logic Language"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Lux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"A\u00eft-Kaci, H., Lincoln, P., Nasr, R.: Le Fun: Logic, Equations and Functions. In: Proc. ILPS 1987, pp. 17\u201323 (1987)"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1145\/155183.155220","volume":"15","author":"G. Gupta","year":"1993","unstructured":"Gupta, G., Jayaraman, B.: Analysis of Or-Parallel Execution Models. ACM TOPLAS\u00a015(4), 659\u2013680 (1993)","journal-title":"ACM TOPLAS"},{"key":"7_CR3","first-page":"192","volume-title":"Proc. JICSLP 1992","author":"M. Hanus","year":"1992","unstructured":"Hanus, M.: On the Completeness of Residuation. In: Proc. JICSLP 1992, pp. 192\u2013206. MIT Press, Cambridge (1992)"},{"key":"7_CR4","unstructured":"Hanus, M.: Curry: An integrated functional logic language (version 0.5) (1999), \n                  \n                    http:\/\/www-i2.informatik.rwth-aachen.de\/~hanus\/curry"},{"key":"7_CR5","unstructured":"Henderson, F., Conway, T., Somogyi, Z.: Compiling Logic Programs to C Using GNUC as a Portable Assemble. In: Proc. of the ILPS 1995 Post-conference Workshop on Sequential Implementation Technologies for Logic Programming Languages, pp. 1\u201315 (1995)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Hudak, P., Peyton Jones, S., Wadler, P.: Report on the Programming Language Haskell (version 1.2). SIGPLAN Notices 27(5) (1992)","DOI":"10.1145\/130697.130699"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/BFb0056627","volume-title":"Principles of Declarative Programming","author":"M. Hanus","year":"1998","unstructured":"Hanus, M., Steiner, F.: Controlling Search in Declarative Programs. In: Palamidessi, C., Meinke, K., Glaser, H. (eds.) ALP 1998 and PLILP 1998. LNCS, vol.\u00a01490, pp. 374\u2013390. Springer, Heidelberg (1998)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Johnsson, T.: Efficient Compilation of Lazy Evaluation. In: Proc. SIGPLAN 1984 Symposium on Compiler Construction, pp. 58\u201369 (1984)","DOI":"10.1145\/502949.502880"},{"key":"7_CR9","unstructured":"Johnsson, T.: Compiling Lazy Functional Languages. PhD thesis, Chalmers Univ. of Technology (1987)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","first-page":"298","volume-title":"Algebraic and Logic Programming","author":"H. Kuchen","year":"1990","unstructured":"Kuchen, H., Loogen, R., Moreno-Navarro, J., Rodr\u00edguez-Artalejo, M.: Graph-Based Implementation of a Functional Logic Language. In: Kirchner, H., Wechler, W. (eds.) ALP 1990. LNCS, vol.\u00a0463, pp. 298\u2013317. Springer, Heidelberg (1990)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BF03037211","volume":"14","author":"H. Kuchen","year":"1996","unstructured":"Kuchen, H., Loogen, R., Moreno-Navarro, J., Rodr\u00edguez-Artalejo, M.: The Functional Logic Language Babel and its Implementation on a Graph Machine. New Generation Computing\u00a014, 391\u2013427 (1996)","journal-title":"New Generation Computing"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Lux, W., Kuchen, H.: An Abstract Machine for Curry. Technical Report, Univerisity of M\u00fcnster (1999)","DOI":"10.1007\/978-3-662-01069-3_58"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0026819","volume-title":"Programming Languages: Implementations, Logics and Programs","author":"M. Mehl","year":"1995","unstructured":"Mehl, M., Scheidhauer, R., Schulte, C.: An Abstract Machine for Oz. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol.\u00a0982, pp. 151\u2013168. Springer, Heidelberg (1995)"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1017\/S0956796800000277","volume":"2","author":"S. Peyton Jones","year":"1992","unstructured":"Peyton Jones, S.: Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine. Journal of Functional Programming\u00a02(1), 73\u201380 (1992)","journal-title":"Journal of Functional Programming"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Wadler, P.: Imperative Functional Programming. In: Proc. 20th POPL 1993, pp. 123\u2013137 (1993)","DOI":"10.1145\/158511.158524"},{"key":"7_CR16","unstructured":"Reddy, U.: Narrowing as the Operational Semantics of Functional Languages. In: Proc. ILPS 1985, pp. 138\u2013151 (1985)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Current Trends in Computer Science","author":"G. Smolka","year":"1995","unstructured":"Smolka, G.: The Oz Programming Model. In: van Leeuwen, J. (ed.) Current Trends in Computer Science. LNCS, vol.\u00a01000, Springer, Heidelberg (1995)"},{"key":"7_CR18","volume-title":"Proc. of the Second Workshop on Principles and Practice of Constraint Programming","author":"C. Schulte","year":"1994","unstructured":"Schulte, C., Smolka, G., W\u00fcrtz, J.: Encapsulated Search and Constraint Programming in Oz. In: Proc. of the Second Workshop on Principles and Practice of Constraint Programming, Springer, Heidelberg (1994)"},{"key":"7_CR19","unstructured":"Warren, D.: An Abstract Prolog Instruction Set. Technical Report 309, SRI (1983)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10705424_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:37:00Z","timestamp":1558309020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10705424_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666776","9783540479505"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/10705424_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}