{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:02:47Z","timestamp":1725487367725},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404385"},{"type":"electronic","value":"9783540450139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45013-0_1","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:06:29Z","timestamp":1184587589000},"page":"1-16","source":"Crossref","is-referenced-by-count":11,"title":["Abstract Diagnosis of Functional Programs"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Comini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santiago","family":"Escobar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moreno","family":"Falaschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvador","family":"Lucas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"1_CR1","unstructured":"M. Alpuente, F. J. Correa, and M. Falaschi. Declarative Debugging of Functional Logic Programs. In B. Gramlich and S. Lucas, editors, Proceedings of the International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), volume 57 of Electronic Notes in Theoretical Computer Science, North Holland, 2001. Elsevier Science Publishers."},{"key":"1_CR2","unstructured":"K. R. Apt. From Logic Programming to PROLOG. Prentice-Hall, 1997."},{"issue":"6A","key":"1_CR3","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6","author":"K. R. Apt","year":"1994","unstructured":"K. R. Apt and E. Marchiori. Reasoning about PROLOG programs: from Modes through types to assertions. Formal Aspects of Computing, 6(6A):743\u2013765, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9781139172752"},{"key":"1_CR5","unstructured":"D. Bert and R. Echahed. Abstraction of Conditional Term Rewriting Systems. In J. W. Lloyd, editor, Proceedings of the 1995 Int\u2019l Symposium on Logic Programming (ILPS\u201995), pages 162\u2013176, Cambridge, Mass., 1995. The MIT Press."},{"key":"1_CR6","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 M. Kamkar, editor, Proceedings of the AADEBUG\u201997 (The Third International Workshop on Automated Debugging), pages 155\u2013169, Linkoping, Sweden, 1997. University of Linkoping Press."},{"issue":"9","key":"1_CR7","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/351240.351266","volume":"35","author":"K. Claessen","year":"2000","unstructured":"K. Claessen and J. Hughes. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP\u201900), 35(9):268\u2013279, 2000.","journal-title":"Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP\u201900)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, and J. Meseguer. Building Equational Proving Tools by Reflection in Rewriting Logic. In K. Futatsugi, A. Nakagawa, and T. Tamai, editors, Cafe: An Industrial-Strength Algebraic Formal Method, pages 1\u201332. Elsevier, 2000.","DOI":"10.1016\/B978-044450556-9\/50061-7"},{"key":"1_CR9","series-title":"Lect Notes Comput Sci","first-page":"22","volume-title":"Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS\u201996)","author":"M. Comini","year":"1996","unstructured":"M. Comini, G. Levi, M. C. Meo, and G. Vitiello. Proving properties of Logic Programs by Abstract Diagnosis. In M. Dams, editor, Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS\u201996), volume 1192 of Lecture Notes in Computer Science, pages 22\u201350, Berlin, 1996. Springer-Verlag."},{"issue":"1\u20133","key":"1_CR10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(98)10033-X","volume":"39","author":"M. Comini","year":"1999","unstructured":"M. Comini, G. Levi, M. C. Meo, and G. Vitiello. Abstract Diagnosis. Journal of Logic Programming, 39(1\u20133):43\u201393, 1999.","journal-title":"Journal of Logic Programming"},{"key":"1_CR11","unstructured":"M. Comini, G. Levi, and G. Vitiello. Declarative Diagnosis Revisited. In J. W. Lloyd, editor, Proceedings of the 1995 Int\u2019l Symposium on Logic Programming (ILPS\u201995), pages 275\u2013287, Cambridge, Mass., 1995. The MIT Press."},{"issue":"1\u20132","key":"1_CR12","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0304-3975(00)00313-3","volume":"277","author":"P. Cousot","year":"2002","unstructured":"P. Cousot. Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation. Theoretical Computer Science, 277(1\u20132):47\u2013103, 2002.","journal-title":"Theoretical Computer Science"},{"key":"1_CR13","unstructured":"F. Dur\u00e1n. Termination Checker and Knuth-Bendix Completion Tools for Maude Equational Specifications. Technical report, Universidad de M\u00e1laga, July 2000."},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Computer Science, 69(3):289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1006\/inco.1993.1015","volume":"103","author":"M. Falaschi","year":"1993","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation, 103(1):86\u2013113, 1993.","journal-title":"Information and Computation"},{"issue":"3","key":"1_CR16","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. Journal of Logic Programming, 4(3):177\u2013198, 1987.","journal-title":"Journal of Logic Programming"},{"key":"1_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-6541-0","volume-title":"Software Engineering with OBJ","author":"J. A. Goguen","year":"2000","unstructured":"J. A. Goguen and G. Malcom. Software Engineering with OBJ. Kluwer Academic Publishers, Boston, 2000."},{"key":"1_CR18","unstructured":"J. W. Klop. Term Rewriting Systems. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume I, pages 1\u2013112. Oxford University Press, 1992."},{"issue":"2","key":"1_CR19","doi-asserted-by":"crossref","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):133\u2013154, 1987.","journal-title":"New Generation Computing"},{"key":"1_CR20","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/B978-0-934613-40-8.50020-8","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"M. J. Maher","year":"1988","unstructured":"M. J. Maher. Equivalences of Logic Programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 627\u2013658. Morgan Kaufmann, Los Altos, Ca., 1988."},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"H. Nilsson. Tracing piece by piece: affordable debugging for lazy functional languages. In Proceedings of the 1999 ACM SIGPLAN Int\u2019l Conf. on Functional Programming, pages 36\u201347. ACM Press, 1999.","DOI":"10.1145\/317636.317782"},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1017\/S095679680000109X","volume":"4","author":"H. Nilsson","year":"1994","unstructured":"H. Nilsson and P. Fritzson. Algoritmic debugging for lazy functional languages. Journal of Functional Programming, 4(1):337\u2013370, 1994.","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"1_CR23","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01806168","volume":"1","author":"J. T. O\u2019Donell","year":"1988","unstructured":"J. T. O\u2019Donell and C. V. Hall. Debugging in Applicative Languages. Lisp and Symbolic Computation, 1(2):113\u2013145, 1988.","journal-title":"Lisp and Symbolic Computation"},{"key":"1_CR24","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-73824-1","volume-title":"Computing in Horn Clause Theories","author":"P. Padawitz","year":"1988","unstructured":"P. Padawitz. Computing in Horn Clause Theories, volume 16 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1988."},{"key":"1_CR25","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"R. Plasmeijer","year":"1993","unstructured":"R. Plasmeijer and M. van Eekelen. Functional Programming and Parallel Graph Rewriting. Addison-Wesley, Reading, MA, 1993."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"E. Y. Shapiro. Algorithmic Program Debugging. In Proceedings of Ninth Annual ACM Symp. on Principles of Programming Languages, pages 412\u2013531. ACM Press, 1982.","DOI":"10.1145\/582153.582185"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M.B. Smyth","year":"1978","unstructured":"M.B. Smyth. Power Domains. Journal of Computer and System Sciences, 16:23\u201336, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR28","unstructured":"J. Sparud and H. Nilsson. The architecture of a debugger for lazy functional languages. In M. Ducass\u00e9, editor, Proceedings Second International Workshop on Automated and Algorithmic Debugging, AADEBUG\u201995, 1995."},{"key":"1_CR29","unstructured":"H. Tamaki and T. Sato. Unfold\/Fold Transformations of Logic Programs. In S. A. T\u00e4rnlund, editor, Proceedings of Second Int\u2019l Conf. on Logic Programming, pages 127\u2013139, 1984."},{"key":"1_CR30","volume-title":"Exploratory Environments for Functional Programming","author":"I. Toyn","year":"1987","unstructured":"I. Toyn. Exploratory Environments for Functional Programming. PhD thesis, University of York, U.K., 1987."},{"issue":"2","key":"1_CR31","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/274930.274933","volume":"33","author":"P. Wadler","year":"1998","unstructured":"P. Wadler. Functional Programming: An angry half-dozen. ACM SIGPLAN Notices, 33(2):25\u201330, 1998.","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45013-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:21:57Z","timestamp":1556666517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45013-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404385","9783540450139"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-45013-0_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}