{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T17:26:55Z","timestamp":1778520415793,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540419198","type":"print"},{"value":"9783540453611","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45361-x_11","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T20:42:57Z","timestamp":1180557777000},"page":"176-193","source":"Crossref","is-referenced-by-count":20,"title":["Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs"],"prefix":"10.1007","author":[{"given":"Olaf","family":"Chitil","sequence":"first","affiliation":[]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[]},{"given":"Malcolm","family":"Wallace","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,10]]},"reference":[{"key":"11_CR1","unstructured":"Simon P Booth and Simon B Jones. Walk backwards to happiness-debugging by time travel. Technical Report Technical Report CSM-143, Department of Computer Science and Mathematics, University of Stirling, 1997. This paper was presented at the 3rd International Workshop on Automated Debugging (AADEBUG\u201997), hosted by the Department of Computer and Information Science, Link\u00f6ping University, Sweden, May 1997."},{"key":"11_CR2","unstructured":"Andy Gill. Debugging Haskell by observing intermediate data structures. In Proceedings of the 4th Haskell Workshop, 2000. Technical report of the University of Nottingham."},{"key":"11_CR3","unstructured":"Simon B. Jones and Simon P. Booth. Towards a purely functional debugger for functional programs. In Proceedings Glasgow Workshop on Functional Programming 1995, Ullapool, Scotland, July 1995."},{"key":"11_CR4","unstructured":"Lee Naish and Tim Barbour. Towards a portable lazy functional declarative debugger. In Proc. 19th Australasian Computer Science Conference, January 1996."},{"key":"11_CR5","unstructured":"Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Link\u00f6ping, Sweden, May 1998."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Henrik Nilsson. Tracing piece by piece: affordable debugging for lazy functional languages. In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming, pages 36\u201347. ACM Press, 1999.","DOI":"10.1145\/317636.317782"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1008681016679","volume":"4","author":"H. Nilsson","year":"1997","unstructured":"Henrik Nilsson and Jan Sparud. The evaluation dependence tree as a basis for lazy functional debugging. Automated Software Engineering: An International Journal, 4(2):121\u2013150, April 1997.","journal-title":"Automated Software Engineering: An International Journal"},{"key":"11_CR8","unstructured":"Alastair Penney. Augmenting Trace-based Functional Debugging. PhD thesis, Department of Computer Science, University of Bristol, September 1999."},{"key":"11_CR9","unstructured":"Simon L. Peyton Jones, John Hughes, et al. Haskell 98: A non-strict, purely functional language. \n                  http:\/\/www.haskell.org\n                  \n                , February 1999."},{"key":"11_CR10","unstructured":"Bernard Pope. Buddha: A declarative debugger for Haskell. Technical report, Dept. of Computer Science, University of Melbourne, Australia, June 1998. Honours Thesis."},{"key":"11_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/BFb0055430","volume-title":"Complete and partial redex trails of functional computations","author":"J. Sparud","year":"1998","unstructured":"Jan Sparud and Colin Runciman. Complete and partial redex trails of functional computations. In C. Clack, K. Hammond, and T. Davie, editors, Selected papers from 9th Intl. Workshop on the Implementation of Functional Languages (IFL\u201997), pages 160\u2013177. Springer LNCS Vol. 1467, September 1997."},{"key":"11_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/BFb0033851","volume-title":"Tracing lazy functional computations using redex trails","author":"J. Sparud","year":"1997","unstructured":"Jan Sparud and Colin Runciman. Tracing lazy functional computations using redex trails. In H. Glaser, P. Hartel, and H. Kuchen, editors, Proc. 9th Intl. Symposium on Programming Languages, Implementations, Logics and Programs (PLILP\u201997), pages 291\u2013308. Springer LNCS Vol. 1292, September 1997."},{"issue":"8","key":"11_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/286385.286387","volume":"33","author":"P. Wadler","year":"1998","unstructured":"Philip Wadler. Functional programming: Why no one uses functional languages. SIGPLAN Notices, 33(8):23\u201327, August 1998. Functional programming column.","journal-title":"SIGPLAN Notices"},{"key":"11_CR14","unstructured":"R. D. Watson. Tracing Lazy Evaluation by Program Transformation. PhD thesis, Southern Cross, Australia, October 1996."}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45361-X_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:22:20Z","timestamp":1550348540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45361-X_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419198","9783540453611"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45361-x_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}