|
35
|
Multiple-view tracing for Haskell: a new hat
– Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman
- 2001
|
|
1
|
Structure and Properties of Traces for Functional Programs
– Olaf Chitil, Yong Luo
|
|
1
|
Reporting Failures in Functional Logic Programs
– Michael Hanus
- 2006
|
|
3
|
TeaBag: A Functional Logic Language Debugger
– Sergio Antoy, Stephen Johnson
- 2004
|
|
10
|
Source-based trace exploration
– Olaf Chitil
- 2005
|
|
4
|
Towards a theory of tracing for functional programs based on graph rewriting
– Olaf Chitil, Yong Luo
- 2006
|
|
19
|
A Semantics for Tracing Declarative Multi-Paradigm Programs
– B. Brassel, M. Hanus, F. Huch
- 2004
|
|
1
|
Display of functional values for debugging
– Thomas Davie, Olaf Chitil
- 2006
|
|
3
|
HsDebug: Debugging Lazy Programs by Not Being Lazy
– Robert Ennals, Simon Peyton Jones
- 2003
|
|
3
|
Proving the Correctness of Algorithmic Debugging for Functional Programs
– Olaf Chitil, Yong Luo
|
|
|
Representing Functional Logic Computations ⋆
– Sergio Antoy, Michael Hanus, Sunita Marathe
|
|
14
|
Dynamic Predicates in Functional Logic Programs
– Michael Hanus
- 2004
|
|
29
|
Functional Logic Design Patterns
– Sergio Antoy, Michael Hanus
- 2002
|
|
1
|
Replacing Unevaluated Parts in the Traces of Functional Programs
– Yong Luo, Olaf Chitil
|
|
7
|
Declarative diagnosis of constraint programs: an assertion-based approach
– Johan Boye, W Lodek Drabent, Jan Ma Luszynski
- 1997
|
|
4
|
Declarative Debugging of Functional Logic Programs
– M. Alpuente, F. J. Correa, M. Falaschi
- 2001
|
|
8
|
GHood -- Graphical Visualisation and Animation of Haskell Object Observations
– Claus Reinke
- 2001
|
|
2
|
Tracing and Debugging of Lazy Functional Programs | A Comparative Evaluation of Three Systems
– Olaf Chitil, Colin Runciman, Malcolm Wallace
- 2000
|
|
27
|
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
– Olaf Chitil, Colin Runciman, Malcolm Wallace
- 2001
|
