Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs
From MaRDI portal
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. For the entire collection see [Zbl 0977.68824].
Recommendations
Cited in
(14)- Dynamic slicing of lazy functional programs based on redex trails
- Freja
- Hat
- Hood
- Specialisation of higher-order functions for debugging
- Structure and properties of traces for functional programs
- Reporting failures in functional logic programs
- A framework for interpreting traces of functional logic computations
- Adding traces to a lazy monadic evaluator
- A debugging system based on natural semantics
- Lazy call-by-value evaluation
- Backward trace slicing for rewriting logic theories
- Testing and tracing lazy functional programs using QuickCheck and Hat
- Theoretical Aspects of Computing – ICTAC 2005
This page was built for publication: Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763389)
