{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:37Z","timestamp":1725467437971},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540558446"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-55844-6_149","type":"book-chapter","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T09:22:29Z","timestamp":1152782549000},"page":"385-399","source":"Crossref","is-referenced-by-count":12,"title":["Algorithmic debugging for lazy functional languages"],"prefix":"10.1007","author":[{"given":"Henrik","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Fritzson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Lennart Augustsson. A compiler for Lazy ML, in Proceedings 1984 ACM Conference on LISP and Functional Programming, pp. 218\u2013227, August 1984.","key":"26_CR1","DOI":"10.1145\/800055.802038"},{"unstructured":"Lennart Augustsson. Personal communication on the lack of suitable debugging tools for lazy functional languages, November 1991.","key":"26_CR2"},{"unstructured":"Wlodek Drabent, Simin Nadjm-Tehrani, Jan Maluszynski. The Use of Assertions in Algorithmic Debugging, in Proceedings of the FGCS Conference, pp. 573\u2013581, Tokyo, Japan, 1988.","key":"26_CR3"},{"doi-asserted-by":"crossref","unstructured":"Peter Fritzson, Tibor Gyimothy, Mariam Kamkar, and Nahid Shahmehri. Generalized Algorithmic Debugging and Testing, in Proceedings of the ACM SIGPLAN'91, pp. 317\u2013326, Toronto, Ontario, Canada, June 1991.","key":"26_CR4","DOI":"10.1145\/113445.113472"},{"doi-asserted-by":"crossref","unstructured":"Wolfgang Henhapl, Stefan Kaes, Gregor Snelting. Utilizing Fifth Generation Technology in Software Development Tools, report PI-R3\/91, Technische Hochschule Darmstadt, March 1991.","key":"26_CR5","DOI":"10.1007\/3-540-54194-2_34"},{"issue":"6","key":"26_CR6","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/502874.502880","volume":"19","author":"T. Johnsson","year":"1984","unstructured":"Thomas Johnsson. Efficient Compilation of Lazy Evaluation, in Proceedings of the ACM SIGPLAN 1984 Symposium on Compiler Construction, SIGPLAN Notices 19(6), pp. 58\u201369, June 1984.","journal-title":"Proceedings of the ACM SIGPLAN 1984 Symposium on Compiler Construction, SIGPLAN Notices"},{"key":"26_CR7","volume-title":"report 92\/6","author":"L. Naish","year":"1992","unstructured":"Lee Naish. Declarative debugging of lazy functional programs, report 92\/6, Department of Computer Science, University of Melbourne, Australia, 1992."},{"key":"26_CR8","volume-title":"MSc dissertation","author":"H. Nilsson","year":"1991","unstructured":"Henrik Nilsson. Freja: a small, non-strict, purely functional language, MSc dissertation, Department of Computer Science and Applied Mathematics, Aston University, Birmingham, England, 1991."},{"unstructured":"Simon L. Peyton Jones. The Implementation of Functional Programming Languages, Prentice Hall, 1987.","key":"26_CR9"},{"issue":"3","key":"26_CR10","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MS.1987.230396","volume":"4","author":"R. E. Seviora","year":"1987","unstructured":"Rudolph E. Seviora. Knowledge-Based Program Debugging Systems, in IEEE Software 4(3), pp. 20\u201332, May 1987.","journal-title":"IEEE Software"},{"key":"26_CR11","volume-title":"PhD thesis","author":"N. Shahmehri","year":"1991","unstructured":"Nahid Shahmehri. Generalized Algorithmic Debugging, PhD thesis, Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden, December 1991."},{"doi-asserted-by":"crossref","unstructured":"E. Y. Shapiro. Algorithmic Program Debugging, MIT Press, May 1982.","key":"26_CR12","DOI":"10.1145\/582153.582185"},{"doi-asserted-by":"crossref","unstructured":"David A. Turner. Miranda: a non-strict functional language with polymorphic types, in Proceedings of the IFIP International Conference on Functional Programming Languages and Computer Architecture, Nancy, Springer Lecture Notes in Computer Science, LNCS 201, 1985.","key":"26_CR13","DOI":"10.1007\/3-540-15975-4_26"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55844-6_149.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:29Z","timestamp":1619573789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55844-6_149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540558446"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55844-6_149","relation":{},"subject":[]}}