Freja

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.


References in zbMATH (referenced in 22 articles , 1 standard article )

Showing results 1 to 20 of 22.
Sorted by year (citations)

1 2 next

  1. Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel: Julienne: a trace slicer for conditional rewrite theories (2012)
  2. Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel: Backward trace slicing for conditional rewrite theories (2012)
  3. Alpuente, María; Ballis, Demis; Espert, Javier; Romero, Daniel: Backward trace slicing for rewriting logic theories (2011)
  4. Braßel, Bernd: A technique to build debugging tools for lazy functional logic languages (2009)
  5. Braßel, Bernd: A framework for interpreting traces of functional logic computations (2007)
  6. Braßel, Bernd: A framework for interpreting traces of functional logic computations. (2007)
  7. Brassel, Bernd; Fischer, Sebastian; Huch, Frank: A program transformation for tracing functional logic computations (2007)
  8. Chitil, Olaf; Luo, Yong: Structure and properties of traces for functional programs (2007)
  9. Chitil, Olaf; Luo, Yong: Structure and properties of traces for functional programs. (2007)
  10. de la Encina, Alberto; Llana, Luis; Rubio, Fernando: Introducing debugging capabilities to natural semantics (2007)
  11. Hanus, Michael: Reporting failures in functional logic programs. (2007)
  12. Hanus, Michael: Reporting failures in functional logic programs (2007)
  13. Achten, Peter: The feasibility of interactively probing quiescent properties of GUI applications (2005)
  14. de la Encina, Alberto; Llana, Luis; Rubio, Fernando: Formalizing the debugging process in Haskell (2005)
  15. Nilsson, Henrik: Dynamic optimization for functional reactive programming using generalized algebraic data types (2005)
  16. Stolz, Volker; Huch, Frank: Runtime verification of concurrent haskell programs. (2005)
  17. Christiansen, Jan; Huch, Frank: Searching for deadlocks while debugging Concurrent Haskell programs (2004)
  18. Alpuente, María; Ballis, Demis; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador: Abstract correction of first-order functional programs. (2003)
  19. Claessen, Koen; Runciman, Colin; Chitil, Olaf; Hughes, John; Wallace, Malcolm: Testing and tracing lazy functional programs using QuickCheck and Hat (2003)
  20. Chitil, Olaf; Runciman, Colin; Wallace, Malcolm: Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs (2001)

1 2 next