{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:25Z","timestamp":1750307965398,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,14]],"date-time":"2007-07-14T00:00:00Z","timestamp":1184371200000},"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":[[2007,7,14]]},"DOI":"10.1145\/1273920.1273947","type":"proceedings-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T14:45:29Z","timestamp":1349880329000},"page":"197-208","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["A simple rewrite notion for call-time choice semantics"],"prefix":"10.1145","author":[{"given":"Francisco J.","family":"L\u00f3pez-Fraguas","sequence":"first","affiliation":[{"name":"Universidad Complutense de Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Rodr\u00edguez-Hortal\u00e1","sequence":"additional","affiliation":[{"name":"Universidad Complutense de Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaime","family":"S\u00e1nchez-Hern\u00e1ndez","sequence":"additional","affiliation":[{"name":"Universidad Complutense de Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.01.001"},{"key":"e_1_3_2_1_2_1","first-page":"57","article-title":"Evaluation strategies for functional logic programming","author":"Antoy S.","year":"2001","unstructured":"S. Antoy . Evaluation strategies for functional logic programming . Electronic Notes in Theoretical Computer Science , 57 , 2001 . S. Antoy. Evaluation strategies for functional logic programming. Electronic Notes in Theoretical Computer Science, 57, 2001.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"e_1_3_2_1_3_1","first-page":"61","volume-title":"Proc. of the 3rd International Workshop on Term Graph Rewriting, Termgraph'06","author":"Antoy S.","year":"2006","unstructured":"S. Antoy , D. Brown , and S. Chiang . Lazy context cloning for nondeterministic graph rewriting . In Proc. of the 3rd International Workshop on Term Graph Rewriting, Termgraph'06 , pages 61 -- 70 , Vienna, Austria , April 2006 . To appear in ENTCS. S. Antoy, D. Brown, and S. Chiang. Lazy context cloning for nondeterministic graph rewriting. In Proc. of the 3rd International Workshop on Term Graph Rewriting, Termgraph'06, pages 61--70, Vienna, Austria, April 2006. To appear in ENTCS."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/347476.347484"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_9"},{"key":"e_1_3_2_1_6_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_7_1","first-page":"325","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"Echahed R.","year":"1998","unstructured":"R. Echahed and J.-C. Janodet . Admissible graph rewriting and narrowing . In Proceedings of the Joint International Conference and Symposium on Logic Programming , pages 325 -- 340 , Manchester , June 1998 . MIT Press. R. Echahed and J.-C. Janodet. Admissible graph rewriting and narrowing. In Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 325--340, Manchester, June 1998. MIT Press."},{"key":"e_1_3_2_1_8_1","first-page":"153","volume-title":"Proc. International Conference on Logic Programming (ICLP'97)","author":"Gonz\u00e1lez-Moreno J.","year":"1997","unstructured":"J. Gonz\u00e1lez-Moreno , M. Hortal\u00e1-Gonz\u00e1lez , and M. Rodr\u00edguez-Artalejo . A higher order rewriting logic for functional logic programming . In Proc. International Conference on Logic Programming (ICLP'97) , pages 153 -- 167 . MIT Press , 1997 . J. Gonz\u00e1lez-Moreno, M. Hortal\u00e1-Gonz\u00e1lez, and M. Rodr\u00edguez-Artalejo. A higher order rewriting logic for functional logic programming. In Proc. International Conference on Logic Programming (ICLP'97), pages 153--167. MIT Press, 1997."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/645391.651447"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"e_1_3_2_1_11_1","volume-title":"Christian-Albrechts-Universit\u00e4t Kiel","author":"Hanus M.","year":"2005","unstructured":"M. Hanus . Functional logic programming: From theory to Curry. Technical report , Christian-Albrechts-Universit\u00e4t Kiel , 2005 . M. Hanus. Functional logic programming: From theory to Curry. Technical report, Christian-Albrechts-Universit\u00e4t Kiel, 2005."},{"key":"e_1_3_2_1_12_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_13_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_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_1_15_1","first-page":"31","volume-title":"Proc. Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE'06)","author":"L\u00f3pez-Fraguas F.","year":"2006","unstructured":"F. L\u00f3pez-Fraguas , J. Rodr\u00edguez-Hortal\u00e1 , and J. S\u00e1nchez-Hern\u00e1ndez . Relating two semantic descriptions of functional logic programs . In Proc. Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE'06) , pages 31 -- 40 . CINME, 2006 . F. L\u00f3pez-Fraguas, J. Rodr\u00edguez-Hortal\u00e1, and J. S\u00e1nchez-Hern\u00e1ndez. Relating two semantic descriptions of functional logic programs. In Proc. Jornadas sobre Programaci\u00f3n y Lenguajes (PROLE'06), pages 31--40. CINME, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Proc. Rewriting Techniques and Applications (RTA'99)","author":"L\u00f3pez-Fraguas F.","year":"1999","unstructured":"F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez . T OY: A multiparadigm declarative system . In Proc. Rewriting Techniques and Applications (RTA'99) , pages 244 -- 247 . Springer LNCS 1631, 1999 . F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. T OY: A multiparadigm declarative system. In Proc. Rewriting Techniques and Applications (RTA'99), pages 244--247. Springer LNCS 1631, 1999."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645710.664477"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796898003037"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013963.1013979"},{"key":"e_1_3_2_1_20_1","first-page":"51","article-title":"Essentials of term graph rewriting","author":"Plump D.","year":"2001","unstructured":"D. Plump . Essentials of term graph rewriting . Electr. Notes Theor. Comput. Sci. , 51 , 2001 . D. Plump. Essentials of term graph rewriting. Electr. Notes Theor. Comput. Sci., 51, 2001.","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"e_1_3_2_1_21_1","first-page":"202","volume-title":"Revised Lectures of the International Summer School CCL'99","author":"Rodr\u00edguez-Artalejo M.","year":"2002","unstructured":"M. Rodr\u00edguez-Artalejo . Functional and constraint logic programming . In Revised Lectures of the International Summer School CCL'99 , pages 202 -- 270 . Springer LNCS 2002 , 2001. M. Rodr\u00edguez-Artalejo. Functional and constraint logic programming. In Revised Lectures of the International Summer School CCL'99, pages 202--270. Springer LNCS 2002, 2001."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/35.5.514"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888275"}],"event":{"name":"PPDP07: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Wroclaw Poland","acronym":"PPDP07"},"container-title":["Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273947","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273920.1273947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:10Z","timestamp":1750258690000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,14]]},"references-count":23,"alternative-id":["10.1145\/1273920.1273947","10.1145\/1273920"],"URL":"https:\/\/doi.org\/10.1145\/1273920.1273947","relation":{},"subject":[],"published":{"date-parts":[[2007,7,14]]},"assertion":[{"value":"2007-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}