{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:16Z","timestamp":1725490216773},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442332"},{"type":"electronic","value":"9783540457886"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45788-7_7","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T15:04:02Z","timestamp":1188313442000},"page":"119-133","source":"Crossref","is-referenced-by-count":0,"title":["On the Correctness of the Factoring Transformation"],"prefix":"10.1007","author":[{"given":"Pascual Juli\u00e1n","family":"Iranzo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"7_CR1","first-page":"151","volume":"32","author":"M. Alpuente","year":"1997","unstructured":"M. Alpuente, M. Falaschi, P. Juli\u00e1n, and G. Vidal. Specialization of Lazy Functional Logic Programs. In Proc. of PEPM\u201997, volume 32, 12 of Sigplan Notices, pages 151\u2013162, New York, 1997. ACM Press. 126","journal-title":"Proc. of PEPM\u201997"},{"key":"7_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BFb0027000","volume-title":"Proc. of ALP\u201997","author":"S. Antoy","year":"1997","unstructured":"S. Antoy. Optimal non-deterministic functional logic computations. In Proc. of ALP\u201997, pages 16\u201330. Springer LNCS 1298, 1997. 119, 120, 121, 123, 124, 128"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776\u2013822, July2000. 124","journal-title":"Journal of the ACM"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/S1571-0661(04)80347-5","volume":"64","author":"S. Antoy","year":"2002","unstructured":"S. Antoy, P. Juli\u00e1n Iranzo, and B. Massey. Improving the efficiency of nondeterministic computations. Electronic Notes in Theoretical Computer Science, 64:22, 2002. URL: \n                    http:\/\/www.elsevier.nl\/locate\/entcs\/volume64.html\n                    \n                  . 119, 120, 121","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998. 122","DOI":"10.1017\/CBO9781139172752"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44\u201367, 1977. 124","journal-title":"Journal of the ACM"},{"key":"7_CR7","series-title":"Formal Models and Semantics","first-page":"243","volume-title":"Handbook of Theoretical Computer Science","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 243\u2013320. Elsevier, Amsterdam, 1990. 126"},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-61055-3_35","volume-title":"Proc. ESOP\u201996","author":"J.C. Gonz\u00e1lez-Moreno","year":"1996","unstructured":"J.C. Gonz\u00e1lez-Moreno, M. T. Hortal\u00e1-Gonz\u00e1lez, F. J. L\u00f3pez-Fraguas, and M. Rodr\u00edguez-Artalex. A rewriting logic for declarative programming. In Proc. ESOP\u201996, pages 156\u2013172. Springer LNCS 1058, 1996. 120, 123"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0743-1066(98)10029-8","volume":"40","author":"J.C. Gonz\u00e1lez-Moreno","year":"1999","unstructured":"J.C. Gonz\u00e1lez-Moreno, F. J. L\u00f3pez-Fraguas, M.T. Hortal\u00e1-Gonz\u00e1lez, and M. Rodr\u00edguez-Artalejx. An approach to declarative programming based on a rewriting logic. The Journal of Logic Programming, 40:47\u201387, 1999. 119, 121, 124, 131, 132","journal-title":"The Journal of Logic Programming"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19&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&20:583\u2013628, 1994. 122","journal-title":"Journal of Logic Programming"},{"key":"7_CR11","unstructured":"M. Hanus (ed.). Curry: An Integrated Functional Logic Language (Ver. 0.71). Web document \n                    http:\/\/www.informatik.uni-kiel.de\/mh\/curry\/report.html\n                    \n                  , 2000. 121, 131, 132"},{"key":"7_CR12","volume-title":"Computational logic: essays in honour of Alan Robinson","author":"G. Huet","year":"1991","unstructured":"G. Huet and J.-J. L\u00e9vy. Computations in orthogonal term rewriting systems. In J.-L. Lassez and G. Plotkin, editors, Computational logic: essays in honour of Alan Robinson. MIT Press, Cambridge, MA, 1991. 121, 126, 131, 132"},{"key":"7_CR13","unstructured":"R. Hughes. The Design and Implementation of Programming Languages. PhD thesis, Universityof Oxford, 1984., 1984. 132"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0743-1066(92)90026-Y","volume":"12","author":"H. Hussmann","year":"1992","unstructured":"H. Hussmann. Nondeterministic Algebraic Specifications and nonconfluent term rewriting. Journal of Logic Programming, 12:237\u2013255, 1992. 119, 120, 131","journal-title":"Journal of Logic Programming"},{"issue":"5","key":"7_CR15","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1002\/spe.4380210505","volume":"21","author":"S.L. Peyton Jones","year":"1991","unstructured":"S.L. Peyton Jones and D. Lester. A modular fully-lazy lambda lifter in HASKELL. Software, Practice and Experience, 21(5):479\u2013506, 1991. 132","journal-title":"Software, Practice and Experience"},{"key":"7_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-61580-6_13","volume-title":"Proc. of the 1996 Dagstuhl Seminar on Partial Evaluation","author":"M. Leuschel","year":"1996","unstructured":"M. Leuschel and B. Martens. Global Control for Partial Deduction through Characteristic Atoms and Global Trees. In Proc. of the 1996 Dagstuhl Seminar on Partial Evaluation, pages 263\u2013283. Springer LNCS 1110, 1996. 126"},{"key":"7_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Proceedings of RTA\u2019 99","author":"F. L\u00f3pez-Fraguas","year":"1999","unstructured":"F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. TOY: A Multiparadigm Declarative System. In Proceedings of RTA\u2019 99, pages 244\u2013247. Springer LNCS 1631, 1999. 131"},{"key":"7_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/3-540-61580-6_18","volume-title":"Partial Evaluation, Int\u2019l Seminar, Dagstuhl Castle, Germany","author":"A. Pettorossi","year":"1996","unstructured":"A. Pettorossi and M. Proietti. A Comparative Revisitation of Some Program Transformation Techniques. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Partial Evaluation, Int\u2019l Seminar, Dagstuhl Castle, Germany, pages 355\u2013385. Springer LNCS 1110, 1996. 124"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45788-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T19:40:03Z","timestamp":1548358803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45788-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442332","9783540457886"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45788-7_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}