论文信息 - Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a number of moderately complex programs in which errors had deliberately been introduced. We identify the strengths and weaknesses of each system and then form ideas on how the systems can be improved further.

[1] Lee Naish,et al. Towards a portable lazy functional declarative debug-ger , 1995 .

[2] Simon L. Peyton Jones,et al. Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[3] Ralf Hinze,et al. Haskell 98 — A Non−strict‚ Purely Functional Language , 1999 .

[4] Colin Runciman,et al. Complete and Partial Redex Trails of Functional Computations , 1997, Implementation of Functional Languages.

[5] Simon B. Jones,et al. Walk Backwards to Happiness - Debugging by Time Travel , 1997, AADEBUG.

[6] Alastair William Penney. Augmenting trace-based functional debugging , 1999 .

[7] Andy Gill. Debugging Haskell by Observing Intermediate Data Structures , 2000, Electron. Notes Theor. Comput. Sci..

[8] Henrik Nilsson. Tracing piece by piece: affordable debugging for lazy functional languages , 1999, ICFP '99.

[9] Philip Wadler,et al. Why no one uses functional languages , 1998, SIGP.

[10] Simon B. Jones,et al. Towards a Purely Functional Debugger for Functional Programs , 1995, Functional Programming.

[11] Henrik Nilsson,et al. Declarative debugging for lazy functional languages , 1998 .

[12] Gill Andy. Debugging Haskell by Observing Intermediate Data Structures , 2001 .

[13] Colin Runciman,et al. Tracing Lazy Functional Computations Using Redex Trails , 1997, PLILP.