{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:24Z","timestamp":1725456204901},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019406","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"135-152","source":"Crossref","is-referenced-by-count":6,"title":["The location of errors in functional programs"],"prefix":"10.1007","author":[{"given":"Jonathan E.","family":"Hazan","sequence":"first","affiliation":[]},{"given":"Richard G.","family":"Morgan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"L. Augustsson. A compiler for lazy ML. In Proceedings of the ACM Symposium on Lisp and Functional Programming, Austin, pages 218\u201327, August 1984.","DOI":"10.1145\/800055.802038"},{"key":"10_CR2","volume-title":"LOLITA: Progress report 1. Technical Report 12\/92","author":"R. Garigliano","year":"1992","unstructured":"R. Garigliano, R.G. Morgan, and M.H. Smith. LOLITA: Progress report 1. Technical Report 12\/92, Artificial Intelligence Systems Research Group, School of Engineering and Computer Science, University of Durham, Science Laboratories, South Road, Durham DH1 3LE, United Kingdom, 1992."},{"key":"10_CR3","volume-title":"Technical report","author":"S. Kamin","year":"1990","unstructured":"S. Kamin. A debugging environment for functional programming in Centaur. Technical report, INRIA Sophia-Antipolis, 1990."},{"key":"10_CR4","volume-title":"Technical Report 92\/6","author":"L. Naish","year":"1992","unstructured":"L. Naish. Declarative debugging of lazy functional programs (draft). Technical Report 92\/6, Department of Computer Science, University of Melbourne, Parkville, Melbourne, Victoria 3052, Australia, May 1992."},{"key":"10_CR5","first-page":"385","volume-title":"number 631 in Lecture Notes in Computer Science","author":"H. Nilsson","year":"1992","unstructured":"H. Nilsson and P. Fritzson. Algorithmic debugging for lazy functional languages. In M. Bruynooghe and M. Wirsing, editors, Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming, number 631 in Lecture Notes in Computer Science, pages 385\u2013399, Leuven, Belgium, August 1992. Springer-Verlag."},{"issue":"2","key":"10_CR6","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01806168","volume":"1","author":"J.T. O'Donnell","year":"1988","unstructured":"J.T. O'Donnell and C.V. Hall. Debugging in applicative languages. Lisp and Symbolic Computation, 1(2):113\u2013145, 1988.","journal-title":"Lisp and Symbolic Computation"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro. Algorithmic Program Debugging. ACM Distinguished Dissertations. MIT Press, May 1982.","DOI":"10.1145\/582153.582185"},{"issue":"2","key":"10_CR8","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/BF03037471","volume":"8","author":"R.M. Snyder","year":"1990","unstructured":"R.M. Snyder. Lazy debugging of lazy functional programs. New Generation Computing, 8(2):138\u2013161, 1990.","journal-title":"New Generation Computing"},{"issue":"4","key":"10_CR9","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF03037389","volume":"4","author":"I. Toyn","year":"1986","unstructured":"I. Toyn and C. Runciman. Adapting combinator and SECD machines to display snapshots of functional computations. New Generation Computing, 4(4):339\u2013363, 1986.","journal-title":"New Generation Computing"},{"key":"10_CR10","first-page":"1","volume-title":"number 201 in Lecture Notes in Computer Science","author":"D.A. Turner","year":"1985","unstructured":"D.A. Turner. Miranda: a non-strict functional language with polymorphic types. In Jean-Pierre Jouannaud, editor, Proceedings of the IFIP International Conference on Functional Programming Languages and Computer Architecture, number 201 in Lecture Notes in Computer Science, pages 1\u201316, Nancy, France, 1985. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019406.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:34:55Z","timestamp":1683297295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0019406","relation":{},"subject":[]}}