{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:51Z","timestamp":1750308111038,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,19]],"date-time":"2005-09-19T00:00:00Z","timestamp":1127088000000},"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":[[2005,9,19]]},"DOI":"10.1145\/1085130.1085138","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"59-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Divide-and-query and subterm dependency tracking in the mercury declarative debugger"],"prefix":"10.1145","author":[{"given":"Ian","family":"MacLarty","sequence":"first","affiliation":[{"name":"University of Melbourne, Australia"}]},{"given":"Zoltan","family":"Somogyi","sequence":"additional","affiliation":[{"name":"University of Melbourne, Australia"}]},{"given":"Mark","family":"Brown","sequence":"additional","affiliation":[{"name":"University of Melbourne, Australia"}]}],"member":"320","published-online":{"date-parts":[[2005,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Annotated event traces for declarative debugging. Available from http:\/\/www.cs.mu.oz.au\/mercury\/","author":"Brown Mark","year":"2003","unstructured":"Mark Brown and Zoltan Somogyi . Annotated event traces for declarative debugging. Available from http:\/\/www.cs.mu.oz.au\/mercury\/ , 2003 . Mark Brown and Zoltan Somogyi. Annotated event traces for declarative debugging. Available from http:\/\/www.cs.mu.oz.au\/mercury\/, 2003."},{"key":"e_1_3_2_1_2_1","first-page":"127","volume-title":"Proceedings of the 1980 Logic Programming Workshop","author":"Byrd Lawrence","year":"1980","unstructured":"Lawrence Byrd . Understanding the control flow of Prolog programs . In Proceedings of the 1980 Logic Programming Workshop , pages 127 -- 138 , Debrecen, Hungary , July 1980 . Lawrence Byrd. Understanding the control flow of Prolog programs. In Proceedings of the 1980 Logic Programming Workshop, pages 127--138, Debrecen, Hungary, July 1980."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161498"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of AADEBUG '03","author":"Lewis Bil","year":"2003","unstructured":"Bil Lewis . Debugging backwards in time . In Proceedings of AADEBUG '03 , Ghent, Belgium , September 2003 . Bil Lewis. Debugging backwards in time. In Proceedings of AADEBUG '03, Ghent, Belgium, September 2003."},{"issue":"3","key":"e_1_3_2_1_5_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 ), April 1997 . Lee Naish. A declarative debugging scheme. Journal of Functional and Logic Programming, 1997(3), April 1997.","journal-title":"Journal of Functional and Logic Programming"},{"issue":"1","key":"e_1_3_2_1_6_1","first-page":"166","article-title":"A three-valued declarative debugging scheme","volume":"22","author":"Naish Lee","year":"2000","unstructured":"Lee Naish . A three-valued declarative debugging scheme . Australian Computer Science Communications , 22 ( 1 ): 166 -- 173 , January 2000 . Lee Naish. A three-valued declarative debugging scheme. Australian Computer Science Communications, 22(1):166--173, January 2000.","journal-title":"Australian Computer Science Communications"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008681016679"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645520.656148"},{"key":"e_1_3_2_1_9_1","first-page":"151","volume-title":"Proceedings of ICLP '84","author":"Plaisted D. A.","year":"1984","unstructured":"D. A. Plaisted . An efficient bug location algorithm . In Proceedings of ICLP '84 , pages 151 -- 158 , Uppsala, Sweden , July 1984 . D. A. Plaisted. An efficient bug location algorithm. In Proceedings of ICLP '84, pages 151--158, Uppsala, Sweden, July 1984."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647165.717842"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic program debugging","author":"Shapiro Ehud Y.","year":"1983","unstructured":"Ehud Y. Shapiro . Algorithmic program debugging . MIT Press , 1983 . Ehud Y. Shapiro. Algorithmic program debugging. MIT Press, 1983."},{"key":"e_1_3_2_1_12_1","first-page":"13","volume-title":"Proceedings of AADEBUG '03","author":"Somogyi Zoltan","year":"2003","unstructured":"Zoltan Somogyi . Idempotent I\/O for safe time travel . In Proceedings of AADEBUG '03 , pages 13 -- 24 , Ghent, Belgium , September 2003 . Zoltan Somogyi. Idempotent I\/O for safe time travel. In Proceedings of AADEBUG '03, pages 13--24, Ghent, Belgium, September 2003."},{"key":"e_1_3_2_1_13_1","first-page":"35","volume-title":"Proceedings of the Tenth Workshop on Logic Programming Environments","author":"Somogyi Zoltan","year":"1999","unstructured":"Zoltan Somogyi and Fergus Henderson . The implementation technology of the Mercury debugger . In Proceedings of the Tenth Workshop on Logic Programming Environments , pages 35 -- 49 , Las Cruces, New Mexico , November 1999 . Zoltan Somogyi and Fergus Henderson. The implementation technology of the Mercury debugger. In Proceedings of the Tenth Workshop on Logic Programming Environments, pages 35--49, Las Cruces, New Mexico, November 1999."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647976.743212"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/800078.802557"}],"event":{"name":"AADEBUG05: AADEBUG '05 - Sixth International Symposium on Automated and Analysis Driven Debugging","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Monterey California USA","acronym":"AADEBUG05"},"container-title":["Proceedings of the sixth international symposium on Automated analysis-driven debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085138","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1085130.1085138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:11Z","timestamp":1750262891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085138"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,19]]},"references-count":16,"alternative-id":["10.1145\/1085130.1085138","10.1145\/1085130"],"URL":"https:\/\/doi.org\/10.1145\/1085130.1085138","relation":{},"subject":[],"published":{"date-parts":[[2005,9,19]]},"assertion":[{"value":"2005-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}