{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:16:07Z","timestamp":1743095767870,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44716-4_11","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"170-184","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Caballero","sequence":"first","affiliation":[]},{"given":"Francisco J.","family":"L\u00f3pez-Fraguas","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Rodr\u00ecguez-Artalejo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"S. Antoy, R. Echahed, M. Hanus. A Needed Narrowing Strategy. 21st ACM Symp. on Principles of Programming Languages, Portland, ACM Press, pp. 268\u2013279, 1994.","key":"11_CR1","DOI":"10.1145\/174675.177899"},{"issue":"3","key":"11_CR2","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G. Ferrand","year":"1987","unstructured":"G. Ferrand. Error Diagnosis in Logic Programming, an Adaptation of E.Y. Shapiro\u2019s Method. The Journal of Logic Programming 4(3), pp. 177\u2013198, 1987.","journal-title":"The Journal of Logic Programming"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1006\/inco.1993.1015","volume":"102","author":"M. Falaschi","year":"1993","unstructured":"M. Falaschi, G. Levi, M. Martelli, C. Palamidessi. A Model-theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation 102(1). pp. 86\u2013113, 1993.","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"J.C. Gonz\u00e1lez-Moreno, M.T. Hortal\u00e1-Gonz\u00e1lez, M. Rodr\u00ecguez-Artalejo. A Higher Order Rewriting Logic for Functional Logic Programming. Procs. of ICLP\u201997, The MIT Press, pp. 153\u2013167, 1997.","key":"11_CR4","DOI":"10.7551\/mitpress\/4299.003.0017"},{"issue":"1","key":"11_CR5","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, M.T. Hortal\u00e1-Gonz\u00e1lez, F.J. L\u00f3pez-Fraguas, M. Rodr\u00ecguez-Artalejo. An Approach to Declarative Programming Based on a Rewriting Logic, Journal of Logic Programming 40(1), pp. 47\u201387, 1999.","journal-title":"Journal of Logic Programming"},{"key":"11_CR6","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: A Survey. J. of Logic Programming 19-20, special issue \u2018Ten Years of Logic Programming\u2019, pp. 583\u2013628, 1994.","journal-title":"J. of Logic Programming"},{"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\/.","key":"11_CR7"},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF03037396","volume":"5","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Declarative Error Diagnosis. New Generation Computing 5(2), pp. 133\u2013154, 1987.","journal-title":"New Generation Computing"},{"key":"11_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Procs. of PLILP\u201993","author":"R. Loogen","year":"2000","unstructured":"R. Loogen, F.J. L\u00f3pez-Fraguas, M. Rodr\u00ecguez-Artalejo. A Demand Driven Computation Strategy for Lazy Narrowing. Procs. of PLILP\u201993, Springer LNCS 714, pp. 184-200, 1993."},{"key":"11_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"T OY: A Multiparadigm Declarative System","author":"F.J. L\u00f3pez-Fraguas","year":"1999","unstructured":"F.J. L\u00f3pez-Fraguas, J. S\u00e1nchez-Hern\u00e1ndez.T OY: A Multiparadigm Declarative System, in Proc. RTA\u201999, Springer LNCS 1631, pp 244\u2013247, 1999. Available at http:\/\/titan.sip.ucm.es\/toy."},{"issue":"1","key":"11_CR11","first-page":"287","volume":"15","author":"L. Naish","year":"1993","unstructured":"L. Naish. Declarative dDebugging of Lazy Functional Programs. Australian Computer Science Communications, 15(1), pp. 287\u2013294, 1993.","journal-title":"Declarative dDebugging of Lazy Functional Programs"},{"doi-asserted-by":"crossref","unstructured":"L. Naish. A Declarative Debugging Scheme. J. of Functional and Logic Programming, 1997-3.","key":"11_CR12","DOI":"10.7551\/mitpress\/4299.001.0001"},{"unstructured":"L. Naish, T. Barbour. A Declarative Debugger for a Logical-Functional Language. In Graham Forsyth and Moonis Ali, eds. Eight International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems Invited and additional papers, Vol. 2, pp. 91\u201399, 1995. DSTO General Document 51.","key":"11_CR13"},{"issue":"1","key":"11_CR14","first-page":"401","volume":"18","author":"L. Naish","year":"1996","unstructured":"L. Naish, T. Barbour. Towards a Portable Lazy Functional Declarative Debugger. Australian Computer Science Communications, 18(1), pp. 401\u2013408, 1996.","journal-title":"Towards a Portable Lazy Functional Declarative Debugger"},{"issue":"3","key":"11_CR15","first-page":"337","volume":"4","author":"H. Nilsson","year":"1994","unstructured":"H. Nilsson, P. Fritzson. Algorithmic Debugging of Lazy Funcional Languages. The Journal of Functional Programming, 4(3), pp. 337\u2013370, 1994.","journal-title":"Algorithmic Debugging of Lazy Funcional Languages"},{"issue":"2","key":"11_CR16","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1008681016679","volume":"4","author":"H. Nilsson","year":"1997","unstructured":"H. Nilsson, J. Sparud. The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. Automated Software Engineering, 4(2), pp. 121\u2013150, 1997.","journal-title":"Automated Software Engineering"},{"unstructured":"H. Nilsson. Declarative Debugging for Lazy Functional Languages. Ph.D. Thesis. Dissertation No. 530. Univ. Link\u00f3ping, Sweden. 1998.","key":"11_CR17"},{"unstructured":"J. Peterson, K. Hammond (eds.), Report on the Programming Language Haskell 98, A Non-strict, Purely Functional Language, 1 February 1999.","key":"11_CR18"},{"key":"11_CR19","volume-title":"Algorithmic Program Debugging","author":"E.Y. Shapiro","year":"1982","unstructured":"E.Y. Shapiro. Algorithmic Program Debugging. The MIT Press, Cambridge,Mass., 1982."},{"unstructured":"L. Sterling, E. Shapiro. The Art of Prolog. The MIT Press, 1986.","key":"11_CR20"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44716-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T11:50:16Z","timestamp":1708170616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}