Tracing piece by piece: Affordable debugging for lazy functional languages

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 9, 1999, Pages 36-47

  Nilsson, Henrik ^a,b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DEBUGGERS; EVALUATION ORDER; LAZY FUNCTIONAL LANGUAGES; ON DEMANDS; OPERATIONAL TECHNIQUES; PERFORMANCE ISSUES; RE-EXECUTION; TIME PERSPECTIVE;

PROGRAM DEBUGGING;

EID: 0345867896     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/317765.317782     Document Type: Article

References (24)

1. Lennart Augustsson. A compiler for Lazy ML. In Proceedings of the 1984 ACM Conference on LISP and Functional Programming, pages 218-227, August 1984.
2. Lennart Augustsson. HBC user's manual. Department of Computing Science, Chalmers University of Technology, S-412 96, Göteborg, Sweden, 1993. Distributed with the HBC Haskell compiler.
3. Lennart Augustsson. The HBC compiler, http://www.cs.chalmers.se/ ~augustss/hbc/hbc.html, 1997.
4. Jonathan E. Kazan and Richard G. Morgan. The location of errors in functional programs. In Peter Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 135-152, Linköping, Sweden, May 1993.
5. Thomas Johnsson. Efficient compilation of lazy evaluation. In Proceedings of the 1984 ACM SIGPLAN Symposium on Compiler Construction, pages 58-69, June 1984. Proceedings published in ACM SIGPLAN Notices, 19(6).
6. Thomas Johnsson. Efficient compilation of lazy evaluation. In Proceedings of the 1984 ACM SIGPLAN Symposium on Compiler Construction, pages 58-69, June 1984. Proceedings published in ACM SIGPLAN Notices, 19(6).
7. Thomas Johnsson. Attribute grammars as a functional programming paradigm. In Functional Programming Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 154-173, Portland, Oregon, September 1987. Springer-Verlag.
8. 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.
9. J. H. Morris. Real programming in functional languages. In J. Darlington, P. Henderson, and D. A. Turner, editors, Functional Programming and its Applications. Cambridge University Press, 1982.
10. 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.
11. Henrik Nilsson and Peter Fritzson. Algorithmic debugging for lazy functional languages. In Maurice Bruynooghe and Martin Wirsing, editors, Programming Language Implementation and Logic Programming (PLILP '92), volume 631 of Lecture Notes in Computer Science, pages 385-399, Leuven, Belgium, August 1992.
12. Henrik Nilsson and Peter Fritzson. Algorithmic debugging for lazy functional languages. Journal of Functional Programming, 4(3):337-370, July 1994.
13. Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Department of Computer and Information Science, Linköping University, S-581 83, Linköping, Sweden, May 1998.
14. Henrik Nilsson and Jan Sparud. The evaluation dependence tree: an execution record for lazy functional debugging. Research Report LiTHIDA-R-96-23, Department of Computer and Information Science, Linköping University, S-581 83, Linköping, Sweden, August 1996. This is an extended version of [NS97].
15. Henrik Nilsson and Jan Sparud. The evaluation dependence tree as a basis for lazy functional debugging. Automated Software Engineering, 4(2):121-150, April 1997.
16. John T. O'Donnell and Cordelia V. Hall. Debugging in applicative languages. Lisp and Symbolic Computation, 1(2):113-145, 1988.
17. William Partain. The nofib benchmark suite of Haskell programs. In John Launchbury and Patrick Sansom, editors, Proc. 1992 Glasgow Workshop on Functional Programming, Workshops in Computing, pages 195-202. Springer-Verlag, 1993.
18. Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, May 1982.
19. Jan Sparud. An embryo to a debugger for Haskell. Presented at the annual internal workshop "Wintermötet", held by the Department of Computing Science, Chalmers University of Technology, Göteborg, Sweden, January 1994.
20. 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.
21. Jan Sparud. Tracing and debugging lazy functional computations. PhD thesis, Department of Computing Science, Chalmers University of Technology, S-412 96, Göteborg, Sweden, March 1999.
22. Jan Sparud and Colin Runciman. Partial redex trails of large functional computations. In Proceedings of the 9th International Workshop on Implementation of Functional Languages (IFL '97), St Andrews, Scotland, September 1997.
23. Jan Sparud and Colin Runciman. Tracing lazy functional computations using redex trails. In Proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP '97), Southampton, September 1997.
24. Philip Wadler. An angry half-dozen. ACM SIGPLAN Notices, 33(2):25-30, February 1998.