The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging

Automated Software Engineering

Volumn 4, Issue 2, 1997, Pages 121-150

  Nilsson, Henrik ^a   Sparud, Jan ^b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Debugger implementation; Debugging; Declarative languages; Lazy functional languages

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER OPERATING PROCEDURES; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES;

DECLARATIVE LANGUAGES; EVALUATION DEPENDENCE TREE; LAZY FUNCTIONAL DEBUGGING; LAZY FUNCTIONAL LANGUAGES;

PROGRAM DEBUGGING;

EID: 0031126461     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008681016679     Document Type: Review

References (17)

1. Mireille Ducassé. An Extendable Trace Analyser to Support Automated Debugging. PhD thesis, University of Rennes I, Campus de Beaulieu, 35042 Rennes cedex, France, June 1992. Numéro d'ordre 758. European Doctorate. In English.
2. 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-68, Seattle, Washington, June 1985. Proceedings published in ACM SIGPLAN Notices 20(7).
3. 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-68, Seattle, Washington, June 1985. Proceedings published in ACM SIGPLAN Notices 20(7).
4. Paul Hudak and Joseph H. Fasel. A gentle introduction to Haskell. ACM SIGPLAN Notices, 27(5), May 1992.
5. Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, María M. Guzmán, 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.
6. 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.
7. Amir Kishon and Paul Hudak. Semantics directed program execution monitoring. Journal of Functional Programming, 5(4):501-547, October 1995.
8. 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.
9. Henrik Nilsson. A declarative approach to debugging for lazy functional languages. Licentiate Thesis No. 450, Department of Computer and Information Science, Linköping University, S-581 83, Linköping, Sweden, September 1994.
10. Henrik Nilsson and Peter Fritzson. Algorithmic debugging for lazy functional languages. Journal of Functional Programming, 4(3):337-370, July 1994.
11. 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öping University, S-581 83, Linköping, Sweden, August 1996.
12. John T. O'Donnell and Cordelia V. Hall. Debugging in applicative languages. Lisp and Symbolic Computation, 1(2):113-145, 1988.
13. Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall, 1987.
14. Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, May 1982.
15. Jan Sparud. A transformational approach to debugging lazy functional programs. Licentiate Thesis, Department of Computing Science, Chalmers University of Technology, S-412 96, Göteborg, Sweden, February 1996.
16. Günter Specht. Generating explanation trees even for negations in deductive database systems. In Proceedings of the 5th Workshop on Logic Programming Environments, pages 8-13, Vancouver, Canada, October 1993.
17. Andrew Tolmach and Andrew W. Appel. A debugger for Standard ML. Journal of Functional Programming, 5(2):155-200, April 1995.