{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:58Z","timestamp":1772164078206,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T00:00:00Z","timestamp":1464825600000},"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":[[2016,6,2]]},"DOI":"10.1145\/2908080.2908104","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T15:23:42Z","timestamp":1464881022000},"page":"114-128","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Lightweight computation tree tracing for lazy functional languages"],"prefix":"10.1145","author":[{"given":"Maarten","family":"Faddegon","sequence":"first","affiliation":[{"name":"University of Kent, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Chitil","sequence":"additional","affiliation":[{"name":"University of Kent, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"19th International Workshop, IFL 2007","author":"Bra\u00dfel B.","year":"2007","unstructured":"B. Bra\u00dfel and H. Siegel . Debugging lazy functional programs by asking the oracle. In Implementation and Application of Functional Languages , 19th International Workshop, IFL 2007 , Freiburg, Germany , September 27-29, 2007 . Revised Selected Papers, LNCS 5083, pages 183\u2013200, 2008. B. Bra\u00dfel and H. Siegel. Debugging lazy functional programs by asking the oracle. In Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, LNCS 5083, pages 183\u2013200, 2008."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.01.005"},{"key":"e_1_3_2_2_3_1","first-page":"184","volume-title":"LNCS 2024","author":"Caballero R.","year":"2001","unstructured":"R. Caballero , F. J. L\u00b4opez-Fraguas , and M. Rodr\u00b4\u0131guez-Artalejo . Theoretical foundations for the declarative debugging of lazy functional logic programs. In Functional and Logic Programming , LNCS 2024 , pages 170\u2013 184 , 2001 . R. Caballero, F. J. L\u00b4opez-Fraguas, and M. Rodr\u00b4\u0131guez-Artalejo. Theoretical foundations for the declarative debugging of lazy functional logic programs. In Functional and Logic Programming, LNCS 2024, pages 170\u2013184, 2001."},{"key":"e_1_3_2_2_4_1","first-page":"586","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Caballero R.","unstructured":"R. Caballero , E. Martin-Martin , A. Riesco , and S. Tamarit . EDD: A Declarative Debugger for Sequential Erlang Programs . In Tools and Algorithms for the Construction and Analysis of Systems , pages 581\u2013 586 . Springer, 2014. R. Caballero, E. Martin-Martin, A. Riesco, and S. Tamarit. EDD: A Declarative Debugger for Sequential Erlang Programs. In Tools and Algorithms for the Construction and Analysis of Systems, pages 581\u2013586. Springer, 2014."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389449.1389475"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.032"},{"key":"e_1_3_2_2_7_1","volume-title":"LNCS 2011","author":"Chitil O.","year":"2001","unstructured":"O. Chitil , C. Runciman , and M. Wallace . Freja, Hat and Hood \u2014 a comparative evaluation of three systems for tracing and debugging lazy functional programs. In Implementation of Functional Languages , LNCS 2011 . 2001 . O. Chitil, C. Runciman, and M. Wallace. Freja, Hat and Hood \u2014 a comparative evaluation of three systems for tracing and debugging lazy functional programs. In Implementation of Functional Languages, LNCS 2011. 2001."},{"key":"e_1_3_2_2_8_1","first-page":"181","volume-title":"Implementation of Functional Languages, LNCS 2670","author":"Chitil O.","unstructured":"O. Chitil , C. Runciman , and M. Wallace . Transforming Haskell for tracing . In Implementation of Functional Languages, LNCS 2670 , pages 165\u2013 181 . 2003. O. Chitil, C. Runciman, and M. Wallace. Transforming Haskell for tracing. In Implementation of Functional Languages, LNCS 2670, pages 165\u2013181. 2003."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_2_10_1","volume-title":"http:\/\/xmonad.org","author":"Stewart Don","year":"2015","unstructured":"Don Stewart . XMonad. http:\/\/xmonad.org , 2015 . Don Stewart. XMonad. http:\/\/xmonad.org, 2015."},{"key":"e_1_3_2_2_11_1","volume-title":"Trends in Functional Programming, LNCS 8843","author":"Faddegon M.","year":"2014","unstructured":"M. Faddegon and O. Chitil . Type Generic Observing . In Trends in Functional Programming, LNCS 8843 . Springer , 2014 . M. Faddegon and O. Chitil. Type Generic Observing. In Trends in Functional Programming, LNCS 8843. Springer, 2014."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737985"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161498"},{"key":"e_1_3_2_2_14_1","volume-title":"http: \/\/www.gamecreation.org\/game\/raincat","author":"Game Creation Society","year":"2014","unstructured":"Game Creation Society , Carnegie Mellon . Raincat. http: \/\/www.gamecreation.org\/game\/raincat , 2014 . Game Creation Society, Carnegie Mellon. Raincat. http: \/\/www.gamecreation.org\/game\/raincat, 2014."},{"key":"e_1_3_2_2_15_1","volume-title":"ACM SIGPLAN Workshop on Haskell.","author":"Gill A.","unstructured":"A. Gill . Debugging Haskell by Observing Intermediate Data Structures. Electronic Notes in Theoretical Computer Science, 41, 2000 . ACM SIGPLAN Workshop on Haskell. A. Gill. Debugging Haskell by Observing Intermediate Data Structures. Electronic Notes in Theoretical Computer Science, 41, 2000. ACM SIGPLAN Workshop on Haskell."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609661"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_2_18_1","first-page":"3","article-title":"A declarative debugging scheme","author":"Naish L.","year":"1997","unstructured":"L. Naish . A declarative debugging scheme . Journal of Functional and Logic Programming , 3 , 1997 . L. Naish. A declarative debugging scheme. Journal of Functional and Logic Programming, 3, 1997.","journal-title":"Journal of Functional and Logic Programming"},{"key":"e_1_3_2_2_19_1","first-page":"173","volume-title":"Computer Science Conference, 2000. ACSC 2000. 23rd Australasian","author":"Naish L.","year":"2000","unstructured":"L. Naish . A three-valued declarative debugging scheme . In Computer Science Conference, 2000. ACSC 2000. 23rd Australasian , pages 166\u2013 173 , 2000 . L. Naish. A three-valued declarative debugging scheme. In Computer Science Conference, 2000. ACSC 2000. 23rd Australasian, pages 166\u2013173, 2000."},{"key":"e_1_3_2_2_21_1","first-page":"631","article-title":"Algorithmic debugging for lazy functional languages. In M. Bruynooghe and M. Wirsing, editors, Programming Language Implementation and Logic Programming, PLILP \u201992, pages 385\u2013399","author":"Nilsson H.","year":"1992","unstructured":"H. Nilsson and P. Fritzson . Algorithmic debugging for lazy functional languages. In M. Bruynooghe and M. Wirsing, editors, Programming Language Implementation and Logic Programming, PLILP \u201992, pages 385\u2013399 . LNCS 631 , 1992 . H. Nilsson and P. Fritzson. Algorithmic debugging for lazy functional languages. In M. Bruynooghe and M. Wirsing, editors, Programming Language Implementation and Logic Programming, PLILP \u201992, pages 385\u2013399. LNCS 631, 1992.","journal-title":"LNCS"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008681016679"},{"key":"e_1_3_2_2_23_1","volume-title":"http:\/\/hackage.haskell.org\/ package\/FPretty","author":"Chitil Olaf","year":"2012","unstructured":"Olaf Chitil . FPretty. http:\/\/hackage.haskell.org\/ package\/FPretty , 2012 . Olaf Chitil. FPretty. http:\/\/hackage.haskell.org\/ package\/FPretty, 2012."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546382_7"},{"key":"e_1_3_2_2_26_1","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_2_27_1","first-page":"159","volume-title":"Logic-Based Program Synthesis and Transformation, LNCS 4407","author":"Silva J.","year":"2007","unstructured":"J. Silva . A comparative Study of Algorithmic Debugging Strategies . In Logic-Based Program Synthesis and Transformation, LNCS 4407 , pages 143\u2013 159 , 2007 . J. Silva. A comparative Study of Algorithmic Debugging Strategies. In Logic-Based Program Synthesis and Transformation, LNCS 4407, pages 143\u2013159, 2007."},{"key":"e_1_3_2_2_28_1","first-page":"1292","article-title":"Tracing lazy functional computations using redex trails. In Programming Languages: Implementations, Logics, and Programs, PLILP \u201997, pages 291\u2013 308","author":"Sparud J.","year":"1997","unstructured":"J. Sparud and C. Runciman . Tracing lazy functional computations using redex trails. In Programming Languages: Implementations, Logics, and Programs, PLILP \u201997, pages 291\u2013 308 . LNCS 1292 , 1997 . J. Sparud and C. Runciman. Tracing lazy functional computations using redex trails. In Programming Languages: Implementations, Logics, and Programs, PLILP \u201997, pages 291\u2013 308. LNCS 1292, 1997.","journal-title":"LNCS"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/286385.286387"},{"key":"e_1_3_2_2_30_1","volume-title":"Proceedings of the 2001 ACM SIGPLAN Haskell Workshop","author":"Wallace M.","year":"2001","unstructured":"M. Wallace , O. Chitil , T. Brehm , and C. Runciman . Multipleview tracing for Haskell: a new Hat . In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop , 2001 . M. Wallace, O. Chitil, T. Brehm, and C. Runciman. Multipleview tracing for Haskell: a new Hat. In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, 2001."},{"key":"e_1_3_2_2_31_1","volume-title":"Why Programs Fail","author":"Zeller A.","year":"2009","unstructured":"A. Zeller . Why Programs Fail , 2 nd Edition. Morgan Kaufmann , 2009 . A. Zeller. Why Programs Fail, 2nd Edition. Morgan Kaufmann, 2009.","edition":"2"},{"key":"e_1_3_2_2_32_1","volume-title":"http:\/\/www.haskell. org\/ghc\/survey2005-summary","author":"Zielonka T.","year":"2005","unstructured":"T. Zielonka and the GHC Team . http:\/\/www.haskell. org\/ghc\/survey2005-summary , 2005 . T. Zielonka and the GHC Team. http:\/\/www.haskell. org\/ghc\/survey2005-summary, 2005."}],"event":{"name":"PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Santa Barbara CA USA","acronym":"PLDI '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908104","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:54:50Z","timestamp":1750208090000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,2]]},"references-count":30,"alternative-id":["10.1145\/2908080.2908104","10.1145\/2908080"],"URL":"https:\/\/doi.org\/10.1145\/2908080.2908104","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980983.2908104","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,2]]},"assertion":[{"value":"2016-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}