Hood

Haskell Object Observation Debugger (HOOD) is a small post-mortem debugger for the lazy functional language Haskell. It is based on the concept of observation of intermediate data structures, rather than the more traditional stepping and variable examination paradigm used by imperative language debuggers.


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

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

  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. De La Encina, A.; Llana, L.; Rubio, F.: A debugging system based on natural semantics (2009)
  5. Braßel, Bernd: A framework for interpreting traces of functional logic computations (2007)
  6. Brassel, Bernd; Fischer, Sebastian; Huch, Frank: A program transformation for tracing functional logic computations (2007)
  7. Chitil, Olaf; Luo, Yong: Structure and properties of traces for functional programs (2007)
  8. de la Encina, Alberto; Llana, Luis; Rubio, Fernando: Introducing debugging capabilities to natural semantics (2007)
  9. Hanus, Michael: Reporting failures in functional logic programs (2007)
  10. Achten, Peter: The feasibility of interactively probing quiescent properties of GUI applications (2005)
  11. de la Encina, Alberto; Llana, Luis; Rubio, Fernando: Formalizing the debugging process in Haskell (2005)
  12. Nilsson, Henrik: Dynamic optimization for functional reactive programming using generalized algebraic data types (2005)
  13. Christiansen, Jan; Huch, Frank: Searching for deadlocks while debugging Concurrent Haskell programs (2004)
  14. Claessen, Koen; Runciman, Colin; Chitil, Olaf; Hughes, John; Wallace, Malcolm: Testing and tracing lazy functional programs using QuickCheck and Hat (2003)
  15. Chitil, Olaf; Runciman, Colin; Wallace, Malcolm: Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs (2001)
  16. Nilsson, Henrik: How to look busy while being as lazy as ever: The implementation of a lazy functional debugger. (2001)
  17. Pareja, Cristóbal; Peña, Ricardo; Rubio, Fernando; Segura, Clara: Adding traces to a lazy monadic evaluator (2001)