{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:37Z","timestamp":1761611077009,"version":"3.41.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008681016679","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"121-150","source":"Crossref","is-referenced-by-count":45,"title":["The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging"],"prefix":"10.1007","volume":"4","author":[{"given":"Henrik","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Sparud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"123483_CR1","series-title":"Num\u00e9ro d'ordre","volume-title":"An Extendable Trace Analyser to Support Automated Debugging","author":"M. Ducass\u00e9","year":"1992","unstructured":"Mireille Ducass\u00e9. An Extendable Trace Analyser to Support Automated Debugging. PhD thesis, University of Rennes I, Campus de Beaulieu, 35042 Rennes cedex, France, June 1992. Num\u00e9ro d'ordre 758. European Doctorate. In English."},{"key":"123483_CR2","doi-asserted-by":"crossref","unstructured":"Cordelia V. Hall and John T. O'Donnell. Debugging in a side effect free programming environment. In Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, pages 60\u201368, Seattle, Washington, June 1985. Proceedings published in ACM SIGPLAN Notices 20(7).","DOI":"10.1145\/17919.806827"},{"key":"123483_CR3","doi-asserted-by":"crossref","unstructured":"Paul Hudak and Joseph H. Fasel. A gentle introduction to Haskell. ACM SIGPLAN Notices, 27(5), May 1992.","DOI":"10.1145\/130697.130698"},{"key":"123483_CR4","doi-asserted-by":"crossref","unstructured":"Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, Mar\u00eda M. Guzm\u00e1n, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Partain, and John Peterson. Report on the programming language Haskell. ACM SIGPLAN Notices, 27(5), May 1992. Version 1.2.","DOI":"10.1145\/130697.130699"},{"key":"123483_CR5","volume-title":"Research report, Institut National de Recherche en Informatique et en Automatique (INRIA)","author":"S. Kamin","year":"1990","unstructured":"Samuel Kamin. A debugging environment for functional programming in Centaur. Research report, Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau, Rocquencourt, B.P.105, 78153 Le Chesnay Cedex, France, July 1990."},{"issue":"4","key":"123483_CR6","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1017\/S0956796800001465","volume":"5","author":"A. Kishon","year":"1995","unstructured":"Amir Kishon and Paul Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4):501\u2013547, October 1995.","journal-title":"Journal of Functional Programming"},{"key":"123483_CR7","series-title":"Technical Report","volume-title":"Towards a portable lazy functional declarative debugger","author":"L. Naish","year":"1995","unstructured":"Lee Naish and Tim Barbour. Towards a portable lazy functional declarative debugger. Technical Report 95\/27, Department of Computer Science, University of Melbourne, Australia, 1995."},{"key":"123483_CR8","volume-title":"A declarative approach to debugging for lazy functional languages","author":"H. Nilsson","year":"1994","unstructured":"Henrik Nilsson. A declarative approach to debugging for lazy functional languages. Licentiate Thesis No. 450, Department of Computer and Information Science, Link\u00f6ping University, S-581 83, Link\u00f6ping, Sweden, September 1994."},{"issue":"3","key":"123483_CR9","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1017\/S095679680000109X","volume":"4","author":"H. Nilsson","year":"1994","unstructured":"Henrik Nilsson and Peter Fritzson. Algorithmic debugging for lazy functional languages. Journal of Functional Programming, 4(3):337\u2013370, July 1994.","journal-title":"Journal of Functional Programming"},{"key":"123483_CR10","series-title":"Research Report","volume-title":"The evaluation dependence tree: an execution record for lazy functional debugging","author":"H. Nilsson","year":"1996","unstructured":"Henrik Nilsson and Jan Sparud. The evaluation dependence tree: an execution record for lazy functional debugging. Research Report LiTH-IDA-R-96-23, Department of Computer and Information Science, Link\u00f6ping University, S-581 83, Link\u00f6ping, Sweden, August 1996."},{"issue":"2","key":"123483_CR11","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01806168","volume":"1","author":"J. T. O'Donnell","year":"1988","unstructured":"John T. O'Donnell and Cordelia V. Hall. Debugging in applicative languages. Lisp and Symbolic Computation, 1(2):113\u2013145, 1988.","journal-title":"Lisp and Symbolic Computation"},{"key":"123483_CR12","unstructured":"Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall, 1987."},{"key":"123483_CR13","doi-asserted-by":"crossref","unstructured":"Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, May 1982.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"123483_CR14","volume-title":"A transformational approach to debugging lazy functional programs","author":"J. Sparud","year":"1996","unstructured":"Jan Sparud. A transformational approach to debugging lazy functional programs. Licentiate Thesis, Department of Computing Science, Chalmers University of Technology, S-412 96, G\u00f6teborg, Sweden, February 1996."},{"key":"123483_CR15","unstructured":"G\u00fcnter Specht. Generating explanation trees even for negations in deductive database systems. In Proceedings of the 5th Workshop on Logic Programming Environments, pages 8\u201313, Vancouver, Canada, October 1993."},{"issue":"2","key":"123483_CR16","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1017\/S0956796800001313","volume":"5","author":"A. Tolmach","year":"1995","unstructured":"Andrew Tolmach and Andrew W. Appel. A debugger for Standard ML. Journal of Functional Programming, 5(2):155\u2013200, April 1995.","journal-title":"Journal of Functional Programming"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008681016679.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008681016679\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008681016679.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:53Z","timestamp":1748071613000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008681016679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["123483"],"URL":"https:\/\/doi.org\/10.1023\/a:1008681016679","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}