{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:23Z","timestamp":1725456203499},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019405","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:18:27Z","timestamp":1132622307000},"page":"117-134","source":"Crossref","is-referenced-by-count":4,"title":["Lazy algorithmic debugging: Ideas for practical implementation"],"prefix":"10.1007","author":[{"given":"Henrik","family":"Nilsson","sequence":"first","affiliation":[]},{"given":"Peter","family":"Fritzson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Lennart Augustsson. A compiler for lazy ML. In Proceedings of the 1984 ACM Conference on LISP and Functional Programming, pages 218\u2013227, August 1984.","DOI":"10.1145\/800055.802038"},{"key":"9_CR2","unstructured":"Lennart Augustsson. Compiling Lazy Functional Languages part II. PhD thesis, Department of Computer Science, Chalmers University of Technology, December 1987."},{"key":"9_CR3","unstructured":"Lennart Augustsson. Personal communication on the lack of suitable debugging tools for lazy functional languages, November 1991."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Peter Fritzson, Tibor Gyimothy, Mariam Kamkar, and Nahid Shahmehri. Generalized algorithmic debugging and testing. In Proceedings of the 1991 ACM SIGPLAN Conference, pages 317\u201326, Toronto, Canada, June 1991. A revised version to appear in ACMLOPLAS (Letters of Programming Languages and Systems).","DOI":"10.1145\/113445.113472"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Thomas Johnsson. Efficient compilation of lazy evaluation. In Proceedings of the 1984 ACM SIGPLAN Symposium on Compiler Construction, pages 58\u201369, June 1984. Proceedings published in SIGPLAN Notices, 19(6).","DOI":"10.1145\/502874.502880"},{"key":"9_CR6","unstructured":"Thomas Johnsson. Compiling Lazy Functional Languages. PhD thesis, Department of Computer Science, Chalmers University of Technology, February 1987."},{"key":"9_CR7","volume-title":"PhD thesis","author":"M. Kamkar","year":"1993","unstructured":"Mariam Kamkar. Interprocedural Dynamic Slicing with Applications to Debugging and Testing. PhD thesis. Department of Computer and Information Science, Link\u00f6ping University, S-581 83, Link\u00f6ping, Sweden, April 1993."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Mariam Kamkar, Nahid Shahmehri, and Peter Fritzson. Interprocedural dynamic slicing. In M. Bruynooghe and M. Wirsing, editors, Programming Language Implementation and Logic Programming, volume 631 of Lecture Notes in Computer Science, pages 370\u2013384, Leuven, Belgium, August 1992.","DOI":"10.1007\/3-540-55844-6_148"},{"key":"9_CR9","unstructured":"Amir Shai Kishon. Theory and Art of Semantics Directed Program Execution Monitoring. PhD thesis, Yale University, May 1992."},{"key":"9_CR10","volume-title":"Research Report 92\/6","author":"L. Naish","year":"1992","unstructured":"Lee Naish. Declarative debugging of lazy functional programs. Research Report 92\/6, Department of Computer Science, University of Melbourne, Australia, 1992."},{"key":"9_CR11","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, September 1991."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Henrik Nilsson and Peter Fritzson. Algorithmic debugging for lazy functional languages. In M. Bruynooghe and M. Wirsing, editors, Programming Language Implementation and Logic Programming, volume 631 of Lecture Notes in Computer Science, pages 385\u2013399, Leuven, Belgium, August 1992.","DOI":"10.1007\/3-540-55844-6_149"},{"key":"9_CR13","unstructured":"Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall, 1987."},{"issue":"3","key":"9_CR14","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. IEEE Software, 4(3):20\u201332, May 1987.","journal-title":"IEEE Software"},{"key":"9_CR15","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, S-581 83, Link\u00f6ping, Sweden, 1991."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, May 1982.","DOI":"10.1145\/582153.582185"},{"key":"9_CR17","volume-title":"Honours dissertation","author":"R. Sturrock","year":"1992","unstructured":"Robert Sturrock. Debugging systems for lazy functional programming languages. Honours dissertation, Department of Computer Science, University of Melbourne, Australia, November 1992."},{"key":"9_CR18","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, FPCA'85, number 201 in Lecture Notes in Computer Science, Nancy, 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"issue":"7","key":"9_CR19","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Mark Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446\u2013452, July 1982.","journal-title":"Communications of the ACM"},{"issue":"4","key":"9_CR20","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352\u2013357, July 1984.","journal-title":"IEEE Transactions on Software Engineering"}],"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\/BFb0019405.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:42:32Z","timestamp":1607532152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0019405","relation":{},"subject":[]}}