{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:14:20Z","timestamp":1761610460338,"version":"build-2065373602"},"reference-count":12,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2000,4,1]],"date-time":"2000-04-01T00:00:00Z","timestamp":954547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2000,4,1]],"date-time":"2000-04-01T00:00:00Z","timestamp":954547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4867,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2000,4]]},"DOI":"10.1016\/s1571-0661(05)80661-9","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T15:34:43Z","timestamp":1115393683000},"page":"256-275","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Implementation Technology of the Mercury Debugger"],"prefix":"10.1016","volume":"30","author":[{"given":"Zoltan","family":"Somogyi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fergus","family":"Henderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80661-9_BIB1","unstructured":"Ralph Becket. Mercury tutorial, 1999. Available from <http:\/\/www.cs.mu.oz.au\/research\/mercury\/tutorial>."},{"key":"10.1016\/S1571-0661(05)80661-9_BIB2","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1002\/spe.4380180902","article-title":"Garbage collection in an uncooperative environment","volume":"18","author":"Boehm","year":"1988","journal-title":"Software Practice and Experience"},{"key":"10.1016\/S1571-0661(05)80661-9_BIB3","unstructured":"Mark Brown and Zoltan Somogyi. Annotated event traces for declarative debugging, 2000. In preparation."},{"key":"10.1016\/S1571-0661(05)80661-9_BIB4","unstructured":"Lawrence Byrd. Understanding the control flow of Prolog programs. In Proceedings of the 1980 Logic Programming Workshop, pages 127\u2013138, Debrecen, Hungary, July 1980."},{"key":"10.1016\/S1571-0661(05)80661-9_BIB5","doi-asserted-by":"crossref","unstructured":"Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, and David Jeffery. Run time type information in Mercury. In Proceedings of the 1999 International Conference on the Principles and Practice of Declarative Programming, pages 224\u2013243, Paris, France, 1999.","DOI":"10.1007\/10704567_14"},{"key":"10.1016\/S1571-0661(05)80661-9_BIB6","doi-asserted-by":"crossref","unstructured":"Mireille Ducass\u00e9. Opium: an extendable trace analyser for Prolog. Journal of Logic Programming, to appear in 1999.","DOI":"10.1016\/S0743-1066(98)10036-5"},{"key":"10.1016\/S1571-0661(05)80661-9_BIB7","unstructured":"Mireille Ducass\u00e9 and Jacques Noy\u00e9. Tracing Prolog programs by source instrumentation is efficient enough. In Proceedings of the JICSLP 98 Workshop on Implementation Technologies for Programming Languages based on Logic, pages 46-58, June 1998."},{"key":"10.1016\/S1571-0661(05)80661-9_BIB8","doi-asserted-by":"crossref","first-page":"1277","DOI":"10.1002\/(SICI)1097-024X(199611)26:11<1277::AID-SPE62>3.0.CO;2-Y","article-title":"A machine-independent debugger","volume":"26","author":"Hanson","year":"1996","journal-title":"Software \u2013 Practice and Experience"},{"year":"1996","series-title":"The Mercury language reference manual. Technical Report 96\/10, Department of Computer Science","author":"Henderson","key":"10.1016\/S1571-0661(05)80661-9_BIB9"},{"key":"10.1016\/S1571-0661(05)80661-9_BIB10","unstructured":"Erwan Jahier and Mireille Ducass\u00e9. A generic approach to monitor program executions. In Proceedings of the Sixteenth International Conference on Logic Programming, Las Cruces, New Mexico, 1999."},{"key":"10.1016\/S1571-0661(05)80661-9_BIB11","unstructured":"Erwan Jahier and Mireille Ducass\u00e9. Opium-M 0.1 user and reference manuals. Technical Report PI-IRISA-1999 No 1234, IRISA, Rennes, France, March 1999."},{"issue":"1-3","key":"10.1016\/S1571-0661(05)80661-9_BIB12","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","article-title":"The execution algorithm of Mercury, an efficient purely declarative logic programming language","volume":"26","author":"Somogyi","year":"1996","journal-title":"Journal of Logic Programming"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105806619?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105806619?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:50Z","timestamp":1761610130000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105806619"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,4]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,4]]}},"alternative-id":["S1571066105806619"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80661-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2000,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"The Implementation Technology of the Mercury Debugger","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80661-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2004 Elsevier Ltd.","name":"copyright","label":"Copyright"}]}}