{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:10Z","timestamp":1750307710861,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T00:00:00Z","timestamp":1232323200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,1,19]]},"DOI":"10.1145\/1480945.1480959","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T14:41:38Z","timestamp":1232462498000},"page":"91-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A flexible framework for programming with non-deterministicfunctions"],"prefix":"10.1145","author":[{"given":"Francisco J.","family":"Lopez-Fraguas","sequence":"first","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Rodriguez-Hortala","sequence":"additional","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaime","family":"Sanchez-Hernandez","sequence":"additional","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Structure and Interpretation of Computer Programs","author":"Abelson H.","year":"1985","unstructured":"H. Abelson and G. J. Sussman . Structure and Interpretation of Computer Programs . MIT Press , 1985 . H. Abelson and G. J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, 1985."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.01.001"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. Algebraic and Logic Programming (ALP'97), 16--30","author":"Antoy S.","year":"1997","unstructured":"S. Antoy . Optimal non-deterministic functional logic computations . In Proc. Algebraic and Logic Programming (ALP'97), 16--30 . Springer LNCS 1298, 1997 . S. Antoy. Optimal non-deterministic functional logic computations. In Proc. Algebraic and Logic Programming (ALP'97), 16--30. Springer LNCS 1298, 1997."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. Frontiers of Combining Systems (Fro-CoS'00), 171--185","author":"Antoy S.","year":"2000","unstructured":"S. Antoy and M. Hanus . Compiling multi-paradigm declarative programs into Prolog . In Proc. Frontiers of Combining Systems (Fro-CoS'00), 171--185 , Springer LNCS 1794, 2000 . S. Antoy and M. Hanus. Compiling multi-paradigm declarative programs into Prolog. In Proc. Frontiers of Combining Systems (Fro-CoS'00), 171--185, Springer LNCS 1794, 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646189.683549"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002724"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199507"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. APPIA-GULP-PRODE'98","author":"Caballero-Roldan R.","year":"1998","unstructured":"R. Caballero-Roldan and F. Lopez-Fraguas . Parsing with nondeterministic functions . In Proc. APPIA-GULP-PRODE'98 , 1--16, 1998 . R. Caballero-Roldan and F. Lopez-Fraguas. Parsing with nondeterministic functions. In Proc. APPIA-GULP-PRODE'98, 1--16, 1998."},{"key":"e_1_3_2_1_9_1","volume-title":"All About Maude","author":"Clavel M.","year":"2007","unstructured":"M. Clavel , F. Duran , S. Eker , P. Lincoln , N. Marti-Oliet , J. Meseguer , and C. Talcott . All About Maude . Springer LNCS 4350, 2007 . M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and C. Talcott. All About Maude. Springer LNCS 4350, 2007."},{"key":"e_1_3_2_1_10_1","volume-title":"IMAG","author":"Echahed R.","year":"1997","unstructured":"R. Echahed and J.-C. Janodet . On constructor-based graph rewriting systems. Research Report 985-I , IMAG , 1997 . R. Echahed and J.-C. Janodet. On constructor-based graph rewriting systems. Research Report 985-I, IMAG, 1997."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. Int. Conf. on Logic Programming (ICLP'97)","author":"Gonzalez-Moreno J.","year":"1997","unstructured":"J. Gonzalez-Moreno , M. Hortala-Gonzalez , and M. Rodriguez-Artalejo . A higher order rewriting logic for functional logic programming . In Proc. Int. Conf. on Logic Programming (ICLP'97) , 153--167. MIT Press , 1997 . J. Gonzalez-Moreno, M. Hortala-Gonzalez, and M. Rodriguez-Artalejo. A higher order rewriting logic for functional logic programming. In Proc. Int. Conf. on Logic Programming (ICLP'97), 153--167. MIT Press, 1997."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. GULP'93","author":"Gonzalez-Moreno J. C.","year":"1993","unstructured":"J. C. Gonzalez-Moreno . A correctness proof for Warren's HO into FO translation . In Proc. GULP'93 , 569--584, 1993 . J. C. Gonzalez-Moreno. A correctness proof for Warren's HO into FO translation. In Proc. GULP'93, 569--584, 1993."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645391.651447"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1778180.1778187"},{"key":"e_1_3_2_1_16_1","volume-title":"March","author":"Hanus M.","year":"2006","unstructured":"M. Hanus (ed.). Curry: An integrated functional logic language (version 0.8.2). Available at http:\/\/www.informatik.unikiel. de\/~curry\/report.html , March 2006 . M. Hanus (ed.). Curry: An integrated functional logic language (version 0.8.2). Available at http:\/\/www.informatik.unikiel. de\/~curry\/report.html, March 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6834-2","volume-title":"Non-Determinism in Algebraic Specifications and Algebraic Programs","author":"Hussmann H.","year":"1993","unstructured":"H. Hussmann . Non-Determinism in Algebraic Specifications and Algebraic Programs . Birkh\u00e4user Verlag , 1993 . H. Hussmann. Non-Determinism in Algebraic Specifications and Algebraic Programs. Birkh\u00e4user Verlag, 1993."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273947"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480959"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788446.1788463"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. Workshop on Logic Programming Environments (WLPE'08)","author":"Lopez-Fraguas F.","year":"2008","unstructured":"F. Lopez-Fraguas , J. Rodriguez-Hortala , and J. Sanchez-Hernandez . A Lightweight Combination of Semantics for Non-deterministic Functions . In Proc. Workshop on Logic Programming Environments (WLPE'08) , 2008 . F. Lopez-Fraguas, J. Rodriguez-Hortala, and J. Sanchez-Hernandez. A Lightweight Combination of Semantics for Non-deterministic Functions. In Proc. Workshop on Logic Programming Environments (WLPE'08), 2008."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. Rewriting Techniques and Applications (RTA'99), 244--247","author":"Lopez-Fraguas F.","year":"1999","unstructured":"F. Lopez-Fraguas and J. Sanchez-Hernandez . TOY: A multiparadigm declarative system . In Proc. Rewriting Techniques and Applications (RTA'99), 244--247 . Springer LNCS 1631, 1999 . F. Lopez-Fraguas and J. Sanchez-Hernandez. TOY: A multiparadigm declarative system. In Proc. Rewriting Techniques and Applications (RTA'99), 244--247. Springer LNCS 1631, 1999."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/35.5.514"},{"key":"e_1_3_2_1_27_1","first-page":"441","volume-title":"D. Michie, and Y.-H","author":"Warren D. H.","year":"1982","unstructured":"D. H. Warren . Higher-order extensions to Prolog: are they needed? In J. Hayes , D. Michie, and Y.-H . Pao, editors, Machine Intelligence 10, pages 441 -- 454 . Ellis Horwood Ltd ., 1982 . D. H. Warren. Higher-order extensions to Prolog: are they needed? In J. Hayes, D. Michie, and Y.-H. Pao, editors, Machine Intelligence 10, pages 441--454. Ellis Horwood Ltd., 1982."}],"event":{"name":"PEPM '09: Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Savannah GA USA","acronym":"PEPM '09"},"container-title":["Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480959","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480945.1480959","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:09Z","timestamp":1750253409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480959"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,19]]},"references-count":26,"alternative-id":["10.1145\/1480945.1480959","10.1145\/1480945"],"URL":"https:\/\/doi.org\/10.1145\/1480945.1480959","relation":{},"subject":[],"published":{"date-parts":[[2009,1,19]]},"assertion":[{"value":"2009-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}