{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:21:42Z","timestamp":1720624902729},"reference-count":50,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3984,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s1571-0661(04)80345-1","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T15:29:25Z","timestamp":1096385365000},"page":"18-55","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acci\u00f3n Integrada Hispano-Italiana HI2000-0161, Acci\u00f3n Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424."],"prefix":"10.1016","volume":"64","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[]},{"given":"Franciso","family":"Correa","sequence":"additional","affiliation":[]},{"given":"Moreno","family":"Falaschi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB1","unstructured":"Z. Alexin, T. Gyim\u00f3thy, and H. Bostrom. Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. In Proc. ECAI'96. John Wiley & Sons, 1996."},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB2","unstructured":"M. Alpuente, F. Correa, and M. Falaschi. Declarative Debugging of Functional Logic Programs. In B. Gramlich and S. Lucas, editors, Proc. of the International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), volume 57 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2001."},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB3","unstructured":"M. Alpuente, F. Correa, and M. Falaschi. A Debugging Scheme for Functional Logic Programs. Technical Report DSIC-II\/10\/02, UPV, 2002. Available at URL: http:\/\/www.dsic.upv.es\/users\/elp\/papers.html."},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB4","unstructured":"M. Alpuente, F. Correa, M. Falaschi, and S. Marson. The Debugging System BUGGY. Technical Report DSIC-II\/1\/01, UPV, 2001. Available at URL: http:\/\/www.dsic.upv.es\/users\/elp\/papers.html."},{"issue":"3","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB5","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0743-1066(94)00024-Z","article-title":"Analyses of Unsatisfiability for Equational Logic Programming","volume":"22","author":"Alpuente","year":"1995","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB6","doi-asserted-by":"crossref","unstructured":"M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. Safe folding\/unfolding with conditional narrowing. In H. Heering M. Hanus and K. Meinke, editors, Proc. of the International Conference on Algebraic and Logic Programming, ALP'97, Southampton (England), pages 1\u201315. Springer LNCS 1298, 1997.","DOI":"10.1007\/BFb0026999"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB7","doi-asserted-by":"crossref","unstructured":"M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. A Transformation System for Lazy Functional Logic Programs. In A. Middeldorp and T. Sato, editors, Proc. of the 4th Fuji International Symposyum on Functional and Logic Programming, FLOPS'99, Tsukuba (Japan), pages 147\u2013162. Springer LNCS 1722, 1999.","DOI":"10.1007\/10705424_10"},{"issue":"1","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0304-3975(96)00043-6","article-title":"A Compositional Semantic Basis for the Analysis of Equational Horn Programs","volume":"165","author":"Alpuente","year":"1996","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB9","doi-asserted-by":"crossref","first-page":"768","DOI":"10.1145\/291891.291896","article-title":"Partial Evaluation of Functional Logic Programs","volume":"20","author":"Alpuente","year":"1998","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB10","doi-asserted-by":"crossref","unstructured":"S. Antoy. Definitional trees. In Proc. of the 3rd Int'l Conference on Algebraic and Logic Programming, ALP'92, pages 143\u2013157. Springer LNCS 632, 1992.","DOI":"10.1007\/BFb0013825"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB11","article-title":"Evaluation Strategies for Functional Logic Programming","volume":"57","author":"Antoy","year":"2001","journal-title":"Int'l Workshop on Reduction Strategies in Rewriting and Programming WRS'01"},{"issue":"4","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB12","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1145\/347476.347484","article-title":"A Needed Narrowing Strategy","volume":"47","author":"Antoy","year":"2000","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB13","series-title":"Term Rewriting and All That","author":"Baader","year":"1998"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB14","doi-asserted-by":"crossref","unstructured":"D. Bert and R. Echahed. Design and implementation of a generic, logic and functional programming language. In Proc. of First European Symp. on Programming, ESOP'86, pages 119\u2013132. Springer LNCS 213, 1986.","DOI":"10.1007\/3-540-16442-1_9"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB15","series-title":"Recent Trends in Data Type Specifications","first-page":"132","article-title":"On the Operational Semantics of the Algebraic and Logic Programming Language LPG","author":"Bert","year":"1995"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB16","doi-asserted-by":"crossref","unstructured":"D. Bert, R. Echahed, and B.M. \u00d8stvold. Abstract Rewriting. In Proc. of Third Int'l Workshop on Static Analysis, WSA'93, pages 178\u2013192. Springer LNCS 724, 1993.","DOI":"10.1007\/3-540-57264-3_39"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(88)90095-3","article-title":"Narrowing vs. SLD-resolution","volume":"59","author":"Bosco","year":"1988","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB18","first-page":"31","article-title":"Specialization of Logic Programs by Pruning sld-trees","author":"Bostrom","year":"1994","journal-title":"Proc of 4th Int'l Workshop on Inductive Logic Programming (ILP-94)"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB19","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/S0743-1066(99)00017-5","article-title":"Induction of Logic Programs by Example-guided Unfolding","volume":"40","author":"Bostrom","year":"1999","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB20","unstructured":"F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M Hermenegildo, J. Maluszy\u0144ski, and G. Puebla. On the role of semantic approximations in validation and diagnosis of constraint logic programs. In Proc. of the 3rd. Int'l Workshop on Automated Debugging-AADEBUG'97, pages 155\u2013170. U. of Linkoping Press, 1997."},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB21","unstructured":"R. Caballero-Rold\u00e1n, F.J. L\u00f3pez-Fraguas, and J. S\u00e1nchez-Hern\u00e1ndez. User's manual for Toy. Technical Report SIP-5797, UCM, Madrid (Spain), 1997."},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB22","unstructured":"M. Codish, M. Falaschi, and K. Marriott. Suspension Analysis for Concurrent Logic Programs. In K. Furukawa, editor, Proc. of Eighth Int'l Conf. on Logic Programming, pages 331\u2013345. The MIT Press, Cambridge, MA, 1991."},{"issue":"1--3","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB23","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0743-1066(98)10033-X","article-title":"Abstract diagnosis","volume":"39","author":"Comini","year":"1999","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB24","unstructured":"M. Comini, G. Levi, and G. Vitiello. Declarative Diagnosis Revisited. In John W. Lloyd, editor, Proceedings of the 1995 Int'l Symposium on Logic Programming, pages 275\u2013287. The MIT Press, 1995."},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB25","doi-asserted-by":"crossref","unstructured":"R. Echahed. On completeness of narrowing strategies. In Proc. of CAAP'88, pages 89\u2013101. Springer LNCS 299, 1988.","DOI":"10.1007\/BFb0026098"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB26","doi-asserted-by":"crossref","unstructured":"R. Echahed. Uniform narrowing strategies. In Proc. of ICALP'92, pages 259\u2013275. Springer LNCS 632, 1992.","DOI":"10.1007\/BFb0013831"},{"issue":"3","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB27","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","article-title":"Declarative Modeling of the Operational Behavior of Logic Languages","volume":"69","author":"Falaschi","year":"1989","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB28","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1006\/inco.1993.1015","article-title":"A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs","volume":"103","author":"Falaschi","year":"1993","journal-title":"Information and Computation"},{"issue":"3","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB29","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","article-title":"Error Diagnosis in Logic Programming, and Adaptation of E.Y. Shapiro's Method","volume":"4","author":"Ferrand","year":"1987","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB30","unstructured":"L. Fribourg. SLOG: a logic programming language interpreter based on clausal superposition and rewriting. In Proc. of Second IEEE Int'l Symp. on Logic Programming, pages 172\u2013185. IEEE, New York, 1985."},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB31","doi-asserted-by":"crossref","unstructured":"D. Frutos-Escrig and M.I. Fern\u00e1ndez-Camacho. On Narrowing Strategies for Partial Non-Strict Functions. In S. Abramsky and T. Maibaum, editors, Proc. TAPSOFT'01, pages 416\u2013437. Springer LNCS 493, 1991.","DOI":"10.1007\/3540539816_79"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB32","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0022-0000(91)90009-T","article-title":"Kernel Leaf: A Logic plus Functional Language","volume":"42","author":"Giovannetti","year":"1991","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB33","doi-asserted-by":"crossref","unstructured":"M. Hanus. Compiling Logic Programs with Equality. In Proc. of 2nd Int'l Workshop on Programming Language Implementation and Logic Programming, pages 387\u2013401. Springer LNCS 456, 1990.","DOI":"10.1007\/BFb0024197"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB34","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","article-title":"The Integration of Functions into Logic Programming: From Theory to Practice","volume":"19&20","author":"Hanus","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB35","unstructured":"M. Hanus, H. Kuchen, and J.J. Moreno-Navarro. Curry: A Truly Functional Logic Language. In Proc. ILPS'95 Workshop on Visions for the Future of Logic Programming, pages 95\u2013107, 1995."},{"issue":"1","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB36","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1017\/S0956796899003330","article-title":"Higher-Order Narrowing with Definitional Trees","volume":"9","author":"Hanus","year":"1999","journal-title":"Journal of Functional Programming"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB37","doi-asserted-by":"crossref","unstructured":"S. H\u00f6lldobler. Foundations of Equational Logic Programming. Springer LNAI 353, 1989.","DOI":"10.1007\/BFb0015791"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB38","first-page":"1","article-title":"Term Rewriting Systems","volume":"I","author":"Klop","year":"1992"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB39","article-title":"Programming in an integrated functional and logic language","volume":"3","author":"Lloyd","year":"1999","journal-title":"Journal of Functional and Logic Programming"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB40","doi-asserted-by":"crossref","unstructured":"M.J. Maher. Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees. In Proc. of Third IEEE Symp. on Logic In Computer Science, pages 348\u2013357. Computer Science Press, New York, 1988.","DOI":"10.1109\/LICS.1988.5132"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB41","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"627","article-title":"Equivalences of Logic Programs","author":"Maher","year":"1988"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB42","unstructured":"M.J. Maher. On Parameterized Substitutions. Technical Report RC 16042, IBM - T.J. Watson Research Center, Yorktown Heights, NY, 1990."},{"issue":"3","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB43","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","article-title":"Logic Programming with Functions and Predicates: The language Babel","volume":"12","author":"Moreno-Navarro","year":"1992","journal-title":"Journal of Logic Programming"},{"issue":"20","key":"10.1016\/S1571-0661(04)80345-1_NEWBIB44","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","article-title":"Inductive Logic Programming: Theory and methods","volume":"19","author":"Muggleton","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB45","series-title":"Computing in Horn Clause Theories, volume 16 of EATCS Monographs on Theoretical Computer Science","author":"Padawitz","year":"1988"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB46","unstructured":"U.S. Reddy. Narrowing as the Operational Semantics of Functional Languages. In Proc. of Second IEEE Int'l Symp. on Logic Programming, pages 138\u2013151. IEEE, New York, 1985."},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB47","series-title":"Algorithmic Program Debugging","author":"Shaphiro","year":"1982"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB48","unstructured":"G. Vidal. Semantics-Based Analysis and Transformation of Functional Logic Programs. PhD thesis, DSIC-UPV, Sept. 1996. En espa\u00f1ol."},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB49","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/S0747-7171(89)80015-X","article-title":"Enumerating outer narrowing derivations for constructor-based term rewriting systems","volume":"7","author":"You","year":"1989","journal-title":"Journal of Symbolic Computation"},{"key":"10.1016\/S1571-0661(04)80345-1_NEWBIB50","doi-asserted-by":"crossref","unstructured":"F. Zartmann. Denotational Abstract Interpretation of Functional Logic Programs. In P. Van Hentenryck, editor, Proc. of the 4th Int'l Static Analysis Symposium, SAS'97, pages 141\u2013159. Springer LNCS 1302, 1997.","DOI":"10.1007\/BFb0032739"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803451?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803451?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T07:22:51Z","timestamp":1549178571000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803451"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":50,"alternative-id":["S1571066104803451"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80345-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}