Freja, hat and hood — a comparative evaluation of three systems for tracing and debugging lazy functional programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2011, Issue , 2001, Pages 176-193

  Chitil, Olaf ^a   Runciman, Colin ^a   Wallace, Malcolm ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPARATIVE EVALUATIONS; COMPLEX PROGRAMS; FUNCTIONAL PROGRAMS; HASKELL PROGRAMS;

PROGRAM DEBUGGING;

EID: 84944042094     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45361-x_11     Document Type: Conference Paper

References (14)

1. Simon P Booth and Simon B Jones. Walk backwards to happiness – debugging by time travel. Technical Report Technical Report CSM-143, Department of Computer Science and Mathematics, University of Stirling, 1997. This paper was presented at the 3rd International Workshop on Automated Debugging (AADEBUG’97), hosted by the Department of Computer and Information Science, Linkoping University, Sweden, May 1997.
2. Andy Gill. Debugging Haskell by observing intermediate data structures. In Proceedings of the 4th Haskell Workshop, 2000. Technical report of the University of Nottingham.
3. Simon B. Jones and Simon P. Booth. Towards a purely functional debugger for functional programs. In Proceedings Glasgow Workshop on Functional Programming 1995, Ullapool, Scotland, July 1995.
4. Lee Naish and Tim Barbour. Towards a portable lazy functional declarative debugger. In Proc. 19th Australasian Computer Science Conference, January 1996.
5. Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Linkoping, Sweden, May 1998.
6. Henrik Nilsson. Tracing piece by piece: affordable debugging for lazy functional languages. In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming, pages 36–47. ACM Press, 1999.
7. Henrik Nilsson and Jan Sparud. The evaluation dependence tree as a basis for lazy functional debugging. Automated Software Engineering: An International Journal, 4(2):121–150, April 1997.
8. Alastair Penney. Augmenting Trace-based Functional Debugging. PhD thesis, Department of Computer Science, University of Bristol, September 1999.
9. Simon L. Peyton Jones, John Hughes, et al. Haskell 98: A non-strict, purely functional language. http://www.haskell.org, February 1999.
10. Bernard Pope. Buddha: A declarative debugger for Haskell. Technical report, Dept. of Computer Science, University of Melbourne, Australia, June 1998. Honours Thesis.
11. Jan Sparud and Colin Runciman. Complete and partial redex trails of functional computations. In C. Clack, K. Hammond, and T. Davie, editors, Selected papers from 9th Intl. Workshop on the Implementation of Functional Languages (IFL’97), pages 160–177. Springer LNCS Vol. 1467, September 1997.
12. Jan Sparud and Colin Runciman. Tracing lazy functional computations using redex trails. In H. Glaser, P. Hartel, and H. Kuchen, editors, Proc. 9th Intl. Symposium on Programming Languages, Implementations, Logics and Programs (PLILP’97), pages 291–308. Springer LNCS Vol. 1292, September 1997.
13. Philip Wadler. Functional programming: Why no one uses functional languages. SIGPLAN Notices, 33(8):23–27, August 1998. Functional programming column.
14. R. D. Watson. Tracing Lazy Evaluation by Program Transformation. PhD thesis, Southern Cross, Australia, October 1996.