Tracing Lazy Functional Computations Using Redex Trails (1997)

Cached

Download Links

by Jan Sparud , Colin Runciman
Venue:In Proc. of the 9th Int’l Symp. on Programming Languages, Implementations, Logics and Programs (PLILP’97
Citations:30 - 6 self

Active Bibliography

5 The Evaluation Dependence Tree: An Execution Record for Lazy Functional Debugging – Henrik Nilsson - 1996
Signed Date – Richard Douglas Watson, Be Mengsc Dipcompsc
1 Debugging Reactive Systems in Haskell – Amr Sabry, Jan Sparud - 1997
2 A Trace Browser for a Lazy Functional Language – Richard Watson, Eric Salzman - 1997
27 The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging – Henrik Nilsson - 1995
13 Buddha - A Declarative Debugger for Haskell – Bernard Pope, Supervisor Lee Naish - 1998
1 A Declarative Debugger of Wrong Answers for Lazy Functional Logic Programs – Rafael Caballero, Mario Rodríguez-Artalejo - 2001
5 Practical declarative debugging of Mercury programs – Ian Douglas Maclarty - 2005
4 Towards a Haskell Debugger – Jan Sparud - 1995
10 A Transformational Approach to Debugging Lazy Functional Programs – Jan Sparud - 1996
2 An Embryo to a Debugger for Haskell – Jan Sparud - 1994
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
4 HsDebug: Debugging Lazy Programs by Not Being Lazy – Robert Ennals, Simon Peyton Jones - 2003
2 Graphical application and visualization of lazy functional computation – Sandra Periam Foubister - 1995
1 Formally Defining Debuggers: A Comparison of Three Approaches – Karen L. Bernstein, Eugene W. Stark - 1995
36 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
20 A Semantics for Tracing Declarative Multi-Paradigm Programs – B. Brassel, M. Hanus, F. Huch - 2004
30 Guard: A relative debugger – Rok Sosic, David Abramson - 1997