Declarative debugging for lazy functional languages (1998)

Cached

Download Links

by Henrik Nilsson
Citations:86 - 7 self

Documents Related by Co-Citation

469 Algorithmic Program Debugging – Ehud Y Shapiro - 1982
30 Tracing Lazy Functional Computations Using redex trails – Jan Sparud, Colin Runciman
55 Debugging Haskell by Observing Intermediate Data Structures – Andy Gill - 2000
27 The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging – Henrik Nilsson - 1995
24 Towards a Portable Lazy Functional Declarative Debugger – Lee Naish, Tim Barbour - 1995
22 Debugging in applicative languages – John T O'Donnell, Cordelia V Hall - 1988
30 Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs – Olaf Chitil, Colin Runciman, Malcolm Wallace - 2001
38 Adding equations to NU-Prolog – Lee Naish - 1991
12 Debugging in a side effect free programming environment – CV Hall, JT O'Donnell - 1985
7 A Declarative Approach to Debugging for Lazy Functional Languages – Henrik Nilsson - 1994
10 A Transformational Approach to Debugging Lazy Functional Programs – Jan Sparud - 1996
13 Complete and Partial Redex Trails of Functional Computations – Jan Sparud, Colin Runciman - 1997
61 A Declarative Debugging Scheme – Lee Naish - 1997
9 The Architecture of a Debugger for Lazy Functional Languages – Jan Sparud , Henrik Nilsson - 1995
36 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
311 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
27 Declarative Diagnosis of Missing Answers – L Naish - 1990
1312 Monads for functional programming – Philip Wadler - 1995
18 Declarative Debugging of Lazy Functional Programs – Lee Naish - 1992