Hat

Hat is a source-level tracer for the programming language Haskell. Hat gives access to detailed, otherwise invisible information about a computation. Hat helps locating errors in programs. Furthermore, it is useful for understanding how a (correct) program works, especially for teaching and program maintenance. Hat is not a time or space profiler. Hat can be used for programs that terminate normally, that terminate with an error message or that terminate when interrupted by the programmer.


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

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

1 2 next

  1. Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel: Backward trace slicing for conditional rewrite theories (2012)
  2. Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel: Julienne: a trace slicer for conditional rewrite theories (2012) ioport
  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) ioport
  5. Ochoa, Claudio; Silva, Josep; Vidal, Germán: Dynamic slicing of lazy functional programs based on redex trails (2008)
  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. Braßel, Bernd; Hanus, Michael; Fischer, Sebastian; Huch, Frank; Vidal, Germán: Lazy call-by-value evaluation (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. Dennis, Louise A.: Enhancing theorem prover interfaces with program slice information (2007)
  12. Hanus, Michael: Reporting failures in functional logic programs (2007)
  13. Sadeghi, Parissa H.; Huch, Frank: The interactive Curry observation debugger iCODE (2007) ioport
  14. Silva, Josep; Vidal, Germán: Forward slicing of functional logic programs by partial evaluation (2007)
  15. Achten, Peter: The feasibility of interactively probing quiescent properties of GUI applications (2005)
  16. Chitil, Olaf: Source-based trace exploration (2005)
  17. de la Encina, Alberto; Llana, Luis; Rubio, Fernando: Formalizing the debugging process in Haskell (2005)
  18. Nilsson, Henrik: Dynamic optimization for functional reactive programming using generalized algebraic data types (2005)
  19. Christiansen, Jan; Huch, Frank: Searching for deadlocks while debugging Concurrent Haskell programs (2004)
  20. Claessen, Koen; Runciman, Colin; Chitil, Olaf; Hughes, John; Wallace, Malcolm: Testing and tracing lazy functional programs using QuickCheck and Hat (2003)

1 2 next