20 search results - page 1 / 4 » Debugging Lazy Functional Programs by Asking the Oracle |
IFL
2007
Springer
13 years 10 months ago
2007
Springer
IFL
2000
Springer
13 years 7 months ago
2000
Springer
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...
ENTCS
2002
13 years 4 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
ENTCS
2000
13 years 4 months ago
2000
Haskell has long needed a debugger. Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell commun...
LISP
2008
13 years 4 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...