{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:38Z","timestamp":1761611138816},"reference-count":29,"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)80349-9","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T19:29:25Z","timestamp":1096399765000},"page":"113-175","source":"Crossref","is-referenced-by-count":14,"special_numbering":"C","title":["A Declarative Debugging System for Lazy Functional Logic Programs"],"prefix":"10.1016","volume":"64","author":[{"given":"Rafael","family":"Caballero","sequence":"first","affiliation":[]},{"given":"Mario","family":"Rodr\u00edguez-Artalejo","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB1","first-page":"13","article-title":"A Debugging Scheme for Functional Logic Programs","author":"Alpuente","year":"2001","journal-title":"Proc. WFLP'2001, Kiel, Germany"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB2","first-page":"170","article-title":"Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs","author":"Caballero","year":"2001","journal-title":"Proc. FLOPS'01, Springer LNCS 2024"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB3","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":"J. of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB4","series-title":"Proc. ACM Symp. on Principles of Programming Languages (POPL'82)","first-page":"207","article-title":"Principal Type Schemes for Functional Programs","author":"Damas","year":"1982"},{"issue":"1","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB5","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":"102","author":"Falaschi","year":"1993","journal-title":"Information and Computation"},{"issue":"3","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB6","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","article-title":"Error Diagnosis in Logic Programming, an Adaptation of E.Y. Shapiro's Method","volume":"4","author":"Ferrand","year":"1987","journal-title":"The Journal of Logic Programming"},{"issue":"2","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB7","doi-asserted-by":"crossref","first-page":"139","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 Science"},{"issue":"1","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0743-1066(98)10029-8","article-title":"An Approach to Declarative Programming Based on a Rewriting Logic","volume":"40","author":"Gonz\u00e1lez-Moreno","year":"1999","journal-title":"The Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB9","unstructured":"J.C. Gonz\u00e1lez-Moreno, M.T. Hortal\u00e1-Gonz\u00e1lez and M. Rodr\u00edguez-Artalejo. Polymorphic Types in Functional Logic Programming. FLOPS'99 special issue of the Journal of Functional and Logic Programming, 2001. See http:\/\/danae.uni-muenster.de\/lehre\/kuchen\/JFL."},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB10","first-page":"633","article-title":"Semantic Domains","volume":"B","author":"Gunter","year":"1990"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB11","first-page":"19","article-title":"The Integration of Functions into Logic Programming: A Survey","author":"Hanus","year":"1994","journal-title":"J. of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB12","unstructured":"M. Hanus (ed.). Curry: An Integrated Functional Logic Language. Version 0.7, February 2, 2000. Available at http:\/\/www.informatik.uni-kiel.de\/curry."},{"issue":"2","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF03037396","article-title":"Declarative Error Diagnosis","volume":"5","author":"Lloyd","year":"1987","journal-title":"New Generation Computing"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB14","first-page":"244","article-title":"TOY: A Multiparadigm Declarative System","author":"L\u00f3pez-Fraguas","year":"1999","journal-title":"Proc. RTA'99, Springer LNCS 1631"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB15","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","article-title":"A Theory of Type Polymorphism in Programming","volume":"17","author":"Milner","year":"1978","journal-title":"Journal of Computer and Systems Sciences"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB16","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/BF00267044","article-title":"On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types","volume":"22","author":"M\u00f6ller","year":"1985","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB17","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF03037939","article-title":"Declarative Diagnossing of Missing Answers","volume":"10","author":"Naish","year":"1991","journal-title":"New Generation Computing"},{"issue":"1","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB18","first-page":"287","article-title":"Declarative Debugging of Lazy Functional Programs","volume":"15","author":"Naish","year":"1993","journal-title":"Australian Computer Science Communications"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB19","article-title":"A Declarative Debugging Scheme","author":"Naish","year":"1997","journal-title":"Journal of Functional and Logic Programming"},{"issue":"1","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB20","first-page":"401","article-title":"Towards a Portable Lazy Functional Declarative Debugger","volume":"18","author":"Naish","year":"1996","journal-title":"Australian Computer Science Communications"},{"issue":"3","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB21","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1017\/S095679680000109X","article-title":"Algorithmic Debugging of Lazy Funcional Languages","volume":"4","author":"Nilsson","year":"1994","journal-title":"The Journal of Functional Programming"},{"issue":"2","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB22","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1008681016679","article-title":"The Evaluation Dependence Tree as a basis for Lazy Functional Debugging","volume":"4","author":"Nilsson","year":"1997","journal-title":"Automated Software Engineering"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB23","unstructured":"H. Nilsson. Declarative Debugging for Lazy Functional Languages. Ph.D. Thesis. Dissertation No. 530. Univ. Link\u00f6ping, Sweden. 1998."},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB24","unstructured":"S.L. Peyton Jones (ed.), J. Hughes (ed.), L. Augustsson, D. Barton, B. Boutel, W. Burton, J. Fasel, K. Hammond, R. Hinze, P. Hudak, T. Johnsson, M.P. Jones, J. Launchbury, E. Meijer, J. Peterson, A. Reid, C. Runciman and P. Wadler. Report on the programming language Haskell 98: a non-strict, purely functional language. Available at http:\/\/www.haskell.org\/definition, February 1999."},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB25","unstructured":"B. Pope. Buddha. A Declarative Debugger for Haskell. Honours Thesis, Department of Computer Science, University of Melbourne, Australia, June 1998."},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB26","series-title":"Algorithmic Program Debugging","author":"Shapiro","year":"1982"},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB27","unstructured":"J. Sparud. Tracing and Debuggging Lazy Functional Computations. PhD Thesis. Department of Computer Science, Chalmers Universitity of Technology. G\u00f6teborg, Sweden, 1999."},{"key":"10.1016\/S1571-0661(04)80349-9_NEWBIB28","series-title":"Analysis and Visualization Tools for Constraint Programming, Chapter 5","first-page":"151","article-title":"Declarative Diagnosis in the CLP Scheme","author":"Tessier","year":"2000"},{"issue":"8","key":"10.1016\/S1571-0661(04)80349-9_NEWBIB29","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/286385.286387","article-title":"Why no one uses Functional Languages","volume":"33","author":"Wadler","year":"1998","journal-title":"SIGPLAN Notices"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803499?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104803499?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,14]],"date-time":"2024-01-14T12:36:11Z","timestamp":1705235771000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104803499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":29,"alternative-id":["S1571066104803499"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80349-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}