{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:40:37Z","timestamp":1742949637599,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44716-4_12","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"185-200","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Adding Linear Constraints over Real Numbers to Curry"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Lux","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"S. Antoy, R. Echahed, and M. Hanus. Parallel evaluation strategies for functional logic languages. In Proc. ICLP \u201997, pages 138\u2013152. MIT Press, 1997.","DOI":"10.7551\/mitpress\/4299.003.0016"},{"key":"12_CR2","unstructured":"P. Arenas-S\u00e1nchez, T. Hortal\u00e1-Gonz\u00e1lez, F.J. L\u00f3pez-Fraguas, and E. Ull\u00e1n-Hern\u00e1ndez. Functional logic programming with real numbers. In Proc. JICSLP\u201996 Post-Conference Workshop on Multi-Paradigm Logic Programming. TR 96-28, Technical University Berlin, 1996."},{"key":"12_CR3","unstructured":"H. A\u00eft-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and functions. In Proc. ILPS \u201987, pages 17\u201323, 1987."},{"issue":"9","key":"12_CR4","first-page":"177","volume":"12","author":"A. Colmerauer","year":"1987","unstructured":"A. Colmerauer.Opening the Prolog III universe. BYTE, 12(9):177\u2013182, August 1987.","journal-title":"BYTE"},{"key":"12_CR5","unstructured":"M. Carlsson, J. Wid\u00e9xn, J. Andersson, S. Andersson, K. Boortz, H. Nilsson, and T. Sj\u00f6land. Sicstus prolog user\u2019s manual. Technical Report T91:15, SICS, June 1995."},{"key":"12_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/3-540-57529-4_53","volume-title":"Proc. FSTTCS 1993","author":"F. Fages","year":"1993","unstructured":"Fran\u00e7ois Fages. On the semantics of optimization predicates in clp languages. In Proc. FSTTCS 1993, pages 193\u2013204. Springer LNCS 761, 1993."},{"key":"12_CR7","unstructured":"Curry: An integrated functional logic language, (version 0.7). http:\/\/www-i2.informatik.rwth-aachen.de\/~hanus\/curry, 2000."},{"key":"12_CR8","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":"12_CR9","unstructured":"M. Hanus and F. Steiner. Controlling search in functional logic programs. In Proc. PLILP\u201998, 1998."},{"key":"12_CR10","unstructured":"J.-L. Imbert and P. van Hentenryck. On the handling of disequations in clp over linear rational arithmetic. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming, Selected Research, pages 49\u201371. MIT Press, 1993."},{"key":"12_CR11","unstructured":"J. Jaffar, S. Michaylov, P.J. Stuckey, and R. Yap. The CLP(\u211c) language and system. Technical report, IBM, 1990."},{"key":"12_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-15975-4_37","volume-title":"Proc. FPLCA 1985","author":"T. Johnsson","year":"1985","unstructured":"Thomas Johnsson. Lambda lifting. transforming programs to recursive equations. In Proc. FPLCA 1985, pages 190\u2013203. Springer LNCS 201, 1985."},{"key":"12_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Proc. RTA\u201999","author":"F.J. L\u00f3pez-Fraguas","year":"1999","unstructured":"F.J. L\u00f3pez-Fraguas and T. Hortal\u00e1-Gonz\u00e1lez. TOY: A multiparadigm declarative system. In Proc. RTA\u201999, pages 244\u2013247. Springer LNCS 1631, 1999."},{"key":"12_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/10705424_7","volume-title":"Implementing encapsulated search for a lazy functional logic language","author":"W. Lux","year":"1999","unstructured":"W. Lux. Implementing encapsulated search for a lazy functional logic language. InProc. FLOPS 99, pages 100\u2013113. Springer LNCS 1722, 1999."},{"key":"12_CR15","unstructured":"W. Lux. Adding linear constraints over real numbers to curry. In Proc. WFLP 2000. TR 2000.2039, Universidad Politecnica de Valencia, 2000."},{"issue":"1-4","key":"12_CR16","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1145\/176454.176522","volume":"2","author":"K. Marriott","year":"1993","unstructured":"K. Marriott and P. Stuckey. Semantics of constraint logic programs with optimization. ACM Letters on Programming Languages and Systems, 2(1-4): 197\u2013212, 1993.","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"12_CR17","unstructured":"U. Reddy. Narrowing as the operational semantics of functional languages. In Proc. ILPS\u201985, pages 138\u2013151, 1985."},{"key":"12_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Current Trends in Computer Science","author":"G. Smolka","year":"1995","unstructured":"G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Current Trends in Computer Science. Springer LNCS 1000, 1995."}],"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\/3-540-44716-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T11:50:14Z","timestamp":1708170614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}