How to look busy while being as lazy as ever: The Implementation of a lazy functional debugger

Journal of Functional Programming

Volumn 11, Issue 6, 2001, Pages 629-671

  Nilsson, Henrik ^a  

^a Yale University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035643583     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S095679680100418X     Document Type: Article

References (35)

1. Augustsson, L. (1984) A compiler for Lazy ML. Proceedings 1984 ACM Conference on LISP and Functional Programming, pp. 218-227.
2. Augustsson, L. (1993) HBC User's Manual. Department of Computing Science, Chalmers University of Technology, S-412 96, Göteborg, Sweden. (Distributed with the HBC Haskell compiler.)
3. Augustsson, L. (1997) The HBC compiler. http://www.cs.chalmers.se/~augustss/hbc/hbc.html
4. Chitil, O., Runciman, C. & Wallace, M. (2001) Freja, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs. In: Mohnen, M. & Koopman, P. (editors), Proceedings 12th International Workshop on Implementation of Functional Languages (IFL 2000), pp. 176-193. Aachen, Germany. (Lecture Notes in Computer Science 2011. Springer-Verlag.
5. Chitil, O., Runciman, C. & Wallace, M. (2001) Freja, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs. In: Mohnen, M. & Koopman, P. (editors), Proceedings 12th International Workshop on Implementation of Functional Languages (IFL 2000), pp. 176-193. Aachen, Germany. (Lecture Notes in Computer Science 2011. Springer-Verlag.
6. Gill, A. (2000) Debugging Haskell by observing intermediate data structures. Proceedings 2000 ACM SIGPLAN Haskell Workshop, Montreal, Canada.
7. Hazan, J. E. & Morgan, R. G. (1993) The location of errors in functional programs. In: Fritzson, P. (editor), Automated and Algorithmic Debugging, pp. 135-152. (Lecture Notes in Computer Science 749. Springer-Verlag.
8. Hazan, J. E. & Morgan, R. G. (1993) The location of errors in functional programs. In: Fritzson, P. (editor), Automated and Algorithmic Debugging, pp. 135-152. (Lecture Notes in Computer Science 749. Springer-Verlag.
9. Johnsson, T. (1984) Efficient compilation of lazy evaluation. Proceedings 1984 ACM SIGPLAN Symposium on Compiler Construction, pp. 58-69. (ACM SIGPLAN Notices, 19(6).)
10. Johnsson, T. (1984) Efficient compilation of lazy evaluation. Proceedings 1984 ACM SIGPLAN Symposium on Compiler Construction, pp. 58-69. (ACM SIGPLAN Notices, 19(6).)
11. Johnsson, T. (1987) Attribute grammars as a functional programming paradigm. Functional Programming Languages and Computer Architecture: Lecture Notes in Computer Science 274, pp. 154-173. Springer-Verlag.
12. Kamin, S. (1990) 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.
13. Morris, J. H. (1982) Real programming in functional languages. In: Darlington, J., Henderson, P. & Turner, D. A. (editors), Functional Programming and its Applications. Cambridge University Press.
14. Naish, L. & Barbour, T. (1995) Towards a portable lazy functional declarative debugger. Technical Report 95/27, Department of Computer Science, University of Melbourne, Australia.
15. Nilsson, H. (1998) Declarative debugging for lazy functional languages. PhD thesis, Department of Computer and Information Science, Linköpings universitet, S-581 83, Linköping, Sweden. http://www.ida.liu.se/~henni/thesis.ps
16. Nilsson, H. (1999) Tracing piece by piece: affordable debugging for lazy functional languages. Proceedings 1999 ACM SIGPLAN International Conference on Functional Programming, pp. 36-47. Paris, France: ACM Press.
17. Nilsson, H. & Fritzson, P. (1994) Algorithmic debugging for lazy functional languages. J. Functional Programming, 4(3), 337-370.
18. Nilsson, H. & Sparud, J. (1996) 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öpings universitet, S-581 83, Linköping, Sweden.
19. Nilsson, H. & Sparud, J. (1997) The evaluation dependence tree as a basis for lazy functional debugging. Automated Software Eng. 4(2), 121-150.
20. O'Donnell, J. T. & Hall, C. V. (1988) Debugging in applicative languages. Lisp and Symbolic Computation, 1(2), 113-145.
21. Partain, W. (1993) The NoFib benchmark suite of Haskell programs. In: Launchbury, J. & Sansom, P. (editors), Proceedings 1992 Glasgow Workshop on Functional Programming, pp. 195-202. Springer-Verlag.
22. Peyton Jones, S. L. (1987) The Implementation of Functional Programming Languages. Prentice Hall.
23. Peyton Jones, S. L. (1992) Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine. J. Functional Programming, 2(2), 127-202.
24. Pope, B. (1998) Buddha: A declarative debugger for Haskell. Honours thesis, Department of Computer Science, University of Melbourne, Australia.
25. Runciman, C. & Röjemo, N. (1996) New dimensions in heap profiling. J. Functional Programming, 6(4), 587-620.
26. Runciman, C. & Wakeling, D. (1993) Heap profiling of lazy functional programs. J. Functional Programming, 3(2), 217-245.
27. Sansom, P. M. & Peyton Jones, S. L. (1995) Time and space profiling for non-strict higher-order functional languages. Principles of Programming Languages (POPL '95), pp. 355-366.
28. Shapiro, E. Y. (1982) Algorithmic Program Debugging. MIT Press.
29. Sparud, J. (1994) An embryo to a debugger for Haskell. Presented at the Annual Internal Workshop "Wintermötet", Department of Computing Science, Chalmers University of Technology, Göteborg, Sweden.
30. Sparud, J. (1996) A transformational approach to debugging lazy functional programs. Licentiate thesis, Department of Computing Science, Chalmers University of Technology, Göteborg, Sweden.
31. Sparud, J. (1999) Tracing and debugging lazy functional computations. PhD thesis, Department of Computing Science, Chalmers University of Technology, Göteborg, Sweden.
32. Sparud, J. & Runciman, C. (1997) Tracing lazy functional computations using redex trails. Proceedings 9th International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP '97).
33. Sparud, J. & Runciman, C. (1998) Complete and partial redex trails of functional computations. In: Clack, C., Hammond, K. & Davie, T. (editors), Proceedings 9th International Workshop on Implementation of Functional Languages (IFL '97), pp. 160-177. St. Andrews, Scotland. (Lecture Notes in Computer Science 1467. Springer-Verlag.
34. Sparud, J. & Runciman, C. (1998) Complete and partial redex trails of functional computations. In: Clack, C., Hammond, K. & Davie, T. (editors), Proceedings 9th International Workshop on Implementation of Functional Languages (IFL '97), pp. 160-177. St. Andrews, Scotland. (Lecture Notes in Computer Science 1467. Springer-Verlag.
35. Wadler, P. (1998) Why no one uses functional languages. ACM SIGPLAN Notices, 33(8), 23-27.