{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:46:10Z","timestamp":1768164370767,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T00:00:00Z","timestamp":1152489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,10]]},"DOI":"10.1145\/1140335.1140355","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"157-166","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Combining algorithmic debugging and program slicing"],"prefix":"10.1145","author":[{"given":"Josep","family":"Silva","sequence":"first","affiliation":[{"name":"DSIC, T.U. Valencia, Valencia, Spain"}]},{"given":"Olaf","family":"Chitil","sequence":"additional","affiliation":[{"name":"University of Kent, Canterbury, UK"}]}],"member":"320","published-online":{"date-parts":[[2006,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The NECI Scientific Literature Digital Library. Accessed on March 27th","author":"Citeseer","year":"2006","unstructured":"Citeseer : The NECI Scientific Literature Digital Library. Accessed on March 27th 2006 . URL : http:\/\/citeseer.ist.psu.edu. Citeseer: The NECI Scientific Literature Digital Library. Accessed on March 27th 2006. URL: http:\/\/citeseer.ist.psu.edu."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431664_8"},{"key":"e_1_3_2_1_3_1","volume-title":"Trends in Functional Programming (TFP 2006)","author":"Chitil O.","year":"2006","unstructured":"O. Chitil and Y. Luo . Proving the Correctness of Declarative Debugging for Functional Programs . In Trends in Functional Programming (TFP 2006) , 2006 . O. Chitil and Y. Luo. Proving the Correctness of Declarative Debugging for Functional Programs. In Trends in Functional Programming (TFP 2006), 2006."},{"key":"e_1_3_2_1_4_1","volume-title":"TERMGRAPH 2006","author":"Chitil O.","year":"2006","unstructured":"O. Chitil and Y. Luo . Towards a Theory of Tracing for Functional Programs Based on Graph Rewriting . In TERMGRAPH 2006 , 2006 . O. Chitil and Y. Luo. Towards a Theory of Tracing for Functional Programs Based on Graph Rewriting. In TERMGRAPH 2006, 2006."},{"key":"e_1_3_2_1_5_1","volume-title":"Association for Computing Machinery. Accessed on March 27th","author":"Digital Library The ACM","year":"2006","unstructured":"The ACM Digital Library . Association for Computing Machinery. Accessed on March 27th 2006 . URL : http:\/\/portal.acm.org. The ACM Digital Library. Association for Computing Machinery. Accessed on March 27th 2006. URL: http:\/\/portal.acm.org."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161498"},{"key":"e_1_3_2_1_9_1","first-page":"14","volume-title":"Workshop on Logic Programming Environments","author":"Kokai Gabriella","year":"1997","unstructured":"Gabriella Kokai , L Harmath , and Tibor Gyimothy . Algorithmic debugging and testing of prolog programs . In Workshop on Logic Programming Environments , pages 14 -- 21 , 1997 . Gabriella Kokai, L Harmath, and Tibor Gyimothy. Algorithmic debugging and testing of prolog programs. In Workshop on Logic Programming Environments, pages 14--21, 1997."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"issue":"3","key":"e_1_3_2_1_12_1","article-title":"A Declarative Debugging Scheme","volume":"1997","author":"Naish Lee","year":"1997","unstructured":"Lee Naish . A Declarative Debugging Scheme . Journal of Functional and Logic Programming , 1997 ( 3 ), 1997 . Lee Naish. A Declarative Debugging Scheme. Journal of Functional and Logic Programming, 1997(3), 1997.","journal-title":"Journal of Functional and Logic Programming"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.7551\/mitpress\/4299.001.0001","volume-title":"Workshop on Logic Programming Environments","author":"Naish Lee","year":"1997","unstructured":"Lee Naish . A three-valued declarative debugging scheme . In Workshop on Logic Programming Environments , pages 1 -- 12 , 1997 . Lee Naish. A three-valued declarative debugging scheme. In Workshop on Logic Programming Environments, pages 1--12, 1997."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680000109X"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1014007.1014020"},{"key":"e_1_3_2_1_17_1","unstructured":"J. Paakki T. Gyim\u00f3thy and T. Horv\u00e1th . Effective algorithmic debugging for inductive logic programming . volume 237 of GMD-Studien pages 175 -- 194 . Gesellschaft f\u00fcr Mathematik und Datenverarbeitung MBH 1994 . J. Paakki T. Gyim\u00f3thy and T. Horv\u00e1th. Effective algorithmic debugging for inductive logic programming. volume 237 of GMD-Studien pages 175--194. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung MBH 1994."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/12069.12085"},{"key":"e_1_3_2_1_19_1","volume-title":"Haskell 98 Language and Libraries : The Revised Report","author":"Peyton-Jones S. L.","year":"2003","unstructured":"S. L. Peyton-Jones , editor. Haskell 98 Language and Libraries : The Revised Report . Cambridge University Press , 2003 . S. L. Peyton-Jones, editor. Haskell 98 Language and Libraries : The Revised Report. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"Shapiro E.Y.","year":"1983","unstructured":"E.Y. Shapiro . Algorithmic Program Debugging . MIT Press , 1983 . E.Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646452.692940"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of the 2001 ACM SIGPLAN Haskell Workshop. Universiteit Utrecht UU-CS-2001-23","author":"Wallace M.","year":"2001","unstructured":"M. Wallace , O. Chitil , T. Brehm , and C. Runciman . Multiple-View Tracing for Haskell: a New Hat . In Proc. of the 2001 ACM SIGPLAN Haskell Workshop. Universiteit Utrecht UU-CS-2001-23 , 2001 . M. Wallace, O. Chitil, T. Brehm, and C. Runciman. Multiple-View Tracing for Haskell: a New Hat. In Proc. of the 2001 ACM SIGPLAN Haskell Workshop. Universiteit Utrecht UU-CS-2001-23, 2001."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"}],"event":{"name":"PPDP06: Principles and Practice of Declarative Programming","location":"Venice Italy","acronym":"PPDP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140355","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1140335.1140355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:24Z","timestamp":1750259184000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,10]]},"references-count":20,"alternative-id":["10.1145\/1140335.1140355","10.1145\/1140335"],"URL":"https:\/\/doi.org\/10.1145\/1140335.1140355","relation":{},"subject":[],"published":{"date-parts":[[2006,7,10]]},"assertion":[{"value":"2006-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}