Sciweavers

2 search results - page 1 / 1
» Freja, Hat and Hood - A Comparative Evaluation of Three Syst...
Sort
View
IFL
2000
Springer
135views Formal Methods» more  IFL 2000»
13 years 8 months ago
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
Abstract. 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 num...
Olaf Chitil, Colin Runciman, Malcolm Wallace
ICFP
2007
ACM
14 years 4 months ago
Lazy call-by-value evaluation
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
Bernd Braßel, Frank Huch, Germán Vida...