Observing Functional Logic Computations (2004)

by Bernd Braßel , Olaf Chitil , Michael Hanus , Frank Huch
Venue:In Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL’04
Citations:13 - 11 self

Active Bibliography

36 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
2 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
11 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
20 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
4 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
39 Functional Logic Design Patterns – Sergio Antoy, Michael Hanus - 2002
1 Replacing Unevaluated Parts in the Traces of Functional Programs – Yong Luo, Olaf Chitil
8 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
3 Tracing and Debugging of Lazy Functional Programs | A Comparative Evaluation of Three Systems – Olaf Chitil, Colin Runciman, Malcolm Wallace - 2000
29 Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs – Olaf Chitil, Colin Runciman, Malcolm Wallace - 2001