{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:23Z","timestamp":1750308023281,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,30]],"date-time":"2007-09-30T00:00:00Z","timestamp":1191110400000},"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":[[2007,9,30]]},"DOI":"10.1145\/1291201.1291204","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"13-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["A lightweight interactive debugger for haskell"],"prefix":"10.1145","author":[{"given":"Simon","family":"Marlow","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Iborra","sequence":"additional","affiliation":[{"name":"Universidad Polit\u00e9cnica de Valencia, Valencia, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Pope","sequence":"additional","affiliation":[{"name":"The University of Melbourne, Melbourne, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Gill","sequence":"additional","affiliation":[{"name":"Galois, Inc., Portland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088350"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1016\/B978-044450813-3\/50010-2","volume-title":"Handbook of Automated Reasoning","author":"Baader F.","year":"2001","unstructured":"F. Baader and W. Snyder . Unification theory . In John Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning , pages 445 -- 532 . Elsevier and MIT Press , 2001 . ISBN 0-444-50813-9, 0-262-18223-8. F. Baader and W. Snyder. Unification theory. In John Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning, pages 445--532. Elsevier and MIT Press, 2001. ISBN 0-444-50813-9, 0-262-18223-8."},{"key":"e_1_3_2_1_3_1","volume-title":"RWTH Aachen","author":"Brehm T.","year":"2001","unstructured":"T. Brehm . A toolkit for multi-view tracing of Haskell programs. Master's thesis , RWTH Aachen , 2001 . T. Brehm. A toolkit for multi-view tracing of Haskell programs. Master's thesis, RWTH Aachen, 2001."},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","first-page":"165","volume-title":"Implementation of Functional Languages: 14th International Workshop, IFL","author":"Chitil O.","year":"2002","unstructured":"O. Chitil , C. Runciman , and M. Wallace . Transforming Haskell for tracing . In R. Pena and T. Arts, editors, Implementation of Functional Languages: 14th International Workshop, IFL 2002 , volume 2670 of Lecture Notes in Computer Science , pages 165 -- 181 . Springer , 2002. O. Chitil, C. Runciman, and M. Wallace. Transforming Haskell for tracing. In R. Pena and T. Arts, editors, Implementation of Functional Languages: 14th International Workshop, IFL 2002, volume 2670 of Lecture Notes in Computer Science, pages 165--181. Springer, 2002."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645815.668881"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871904"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944731"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of CATS'96: Computing the Australasian Theory Symposium","author":"Gibbons J.","year":"1996","unstructured":"J. Gibbons and K. Wansbrough . Tracing lazy functional languages . In Proceedings of CATS'96: Computing the Australasian Theory Symposium , Melbourne, Australia , January 1996 . J. Gibbons and K. Wansbrough. Tracing lazy functional languages. In Proceedings of CATS'96: Computing the Australasian Theory Symposium, Melbourne, Australia, January 1996."},{"key":"e_1_3_2_1_10_1","volume-title":"Haskell Workshop. ACM SIGPLAN","author":"Gill A.","year":"2000","unstructured":"A. Gill . Debugging Haskell by observing intermediate data structures . In Haskell Workshop. ACM SIGPLAN , September 2000 . A. Gill. Debugging Haskell by observing intermediate data structures. In Haskell Workshop. ACM SIGPLAN, September 2000."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291203"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.3.177"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/800225.806827"},{"key":"e_1_3_2_1_14_1","volume-title":"http:\/\/hunit.sourceforge.net\/HUnit-1.0\/Guide.html","author":"Herington D.","year":"2002","unstructured":"D. Herington . H Unit 1.0 user's guide. http:\/\/hunit.sourceforge.net\/HUnit-1.0\/Guide.html , 2002 . D. Herington. HUnit 1.0 user's guide. http:\/\/hunit.sourceforge.net\/HUnit-1.0\/Guide.html, 2002."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/640136.604179"},{"key":"e_1_3_2_1_16_1","volume-title":"The Objective Caml system release 3.10","author":"Leroy X.","year":"2007","unstructured":"X. Leroy , D. R\u00e9my D. Doligez , J. Garrigue , and J. Vouillon . The Objective Caml system release 3.10 , chapter 16. http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/manual030.html, 2007 . X. Leroy, D. R\u00e9my D. Doligez, J. Garrigue, and J. Vouillon. The Objective Caml system release 3.10, chapter 16. http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/manual030.html, 2007."},{"key":"e_1_3_2_1_17_1","volume-title":"Practical declarative debugging of Mercury programs. Master's thesis","author":"MacLarty I.","year":"2005","unstructured":"I. MacLarty . Practical declarative debugging of Mercury programs. Master's thesis , The University of Melbourne , 2005 . I. MacLarty. Practical declarative debugging of Mercury programs. Master's thesis, The University of Melbourne, 2005."},{"key":"e_1_3_2_1_18_1","volume-title":"Trends in Functional Programming","volume":"6","author":"Mitchell N.","year":"2007","unstructured":"N. Mitchell and C. Runciman . A static checker for safe pattern matching in Haskell . In Trends in Functional Programming , volume 6 . Intellect , 2007 . N. Mitchell and C. Runciman. A static checker for safe pattern matching in Haskell. In Trends in Functional Programming, volume 6. Intellect, 2007."},{"issue":"1","key":"e_1_3_2_1_19_1","first-page":"401","article-title":"Towards a portable lazy functional declarative debugger","volume":"18","author":"Naish L.","year":"1996","unstructured":"L. Naish and T. Barbour . Towards a portable lazy functional declarative debugger . Australian Computer Science Communications , 18 ( 1 ): 401 -- 408 , 1996 . L. Naish and T. Barbour. Towards a portable lazy functional declarative debugger. Australian Computer Science Communications, 18(1):401--408, 1996.","journal-title":"Australian Computer Science Communications"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317782"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680100418X"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/647557.729913"},{"key":"e_1_3_2_1_25_1","volume-title":"MIT Press","author":"Shapiro E.","year":"1983","unstructured":"E. Shapiro . Algorithmic Program Debugging . MIT Press , 1983 . E. Shapiro. Algorithmic Program Debugging. MIT Press, 1983."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. of VI Jornadas de Programaci\u00f3n y Lenguajes (PROLE'07)","author":"Silva J.","year":"2007","unstructured":"J. Silva . A comparative of algorithmic debuggers . In Proc. of VI Jornadas de Programaci\u00f3n y Lenguajes (PROLE'07) , 2007 b. http:\/\/www.dsic.upv.es\/~jsilva\/papers\/Prole07.pdf. J. Silva. A comparative of algorithmic debuggers. In Proc. of VI Jornadas de Programaci\u00f3n y Lenguajes (PROLE'07), 2007b. http:\/\/www.dsic.upv.es\/~jsilva\/papers\/Prole07.pdf."},{"key":"e_1_3_2_1_28_1","volume-title":"The implementation technology of the Mercury debugger. Electronic Notes in Theoretical Computer Science, 30(4)","author":"Somogyi Z.","year":"1999","unstructured":"Z. Somogyi and F. Henderson . The implementation technology of the Mercury debugger. Electronic Notes in Theoretical Computer Science, 30(4) , 1999 . Z. Somogyi and F. Henderson. The implementation technology of the Mercury debugger. Electronic Notes in Theoretical Computer Science, 30(4), 1999."},{"key":"e_1_3_2_1_29_1","volume-title":"Chalmers University of Technology","author":"Sparud J.","year":"1999","unstructured":"J. Sparud . Tracing and Debugging Lazy Functional Computations. PhD thesis , Chalmers University of Technology , Sweden , 1999 . J. Sparud. Tracing and Debugging Lazy Functional Computations. PhD thesis, Chalmers University of Technology, Sweden, 1999."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001313"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/286385.286387"},{"key":"e_1_3_2_1_32_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_33_1","unstructured":"R. Watson. Tracing Lazy Evaluation by Program Transformation. PhD thesis Southern Cross University New South Wales Australia 1997.  R. Watson. Tracing Lazy Evaluation by Program Transformation. PhD thesis Southern Cross University New South Wales Australia 1997."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159844"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159849"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Freiburg Germany","acronym":"ICFP07"},"container-title":["Proceedings of the ACM SIGPLAN workshop on Haskell workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291201.1291204","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291201.1291204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:13:52Z","timestamp":1750259632000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291201.1291204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,30]]},"references-count":32,"alternative-id":["10.1145\/1291201.1291204","10.1145\/1291201"],"URL":"https:\/\/doi.org\/10.1145\/1291201.1291204","relation":{},"subject":[],"published":{"date-parts":[[2007,9,30]]},"assertion":[{"value":"2007-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}