Sciweavers

IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
14 years 5 months ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil