Declarative debugging for lazy functional languages (1998)

Cached

Download Links

by Henrik Nilsson
Citations:80 - 8 self

Documents Related by Co-Citation

474 Algorithmic Program Debugging – E Shapiro - 1983
33 Tracing Lazy Functional Computations Using Redex Trails – Jan Sparud, Colin Runciman - 1997
27 The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging – Henrik Nilsson - 1995
55 Debugging Haskell by Observing Intermediate Data Structures – Andy Gill - 2000
24 Towards a Portable Lazy Functional Declarative Debugger – Lee Naish, Tim Barbour - 1995
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
23 C.V.: Debugging in applicative languages – J T O’Donnell, Hall - 1988
38 Adding equations to NU-Prolog – Lee Naish - 1991
13 Complete and Partial Redex Trails of Functional Computations – Jan Sparud, Colin Runciman - 1997
8 A Declarative Approach to Debugging for Lazy Functional Languages – Henrik Nilsson, Roger Skagervall, Carlstedt Elektronik Ab - 1994
13 Debugging in a side effect free programming environment – C Hall, J O’Donnell - 1985
10 A Transformational Approach to Debugging Lazy Functional Programs – Jan Sparud - 1996
36 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
61 A Declarative Debugging Scheme – Lee Naish - 1997
9 The Architecture of a Debugger for Lazy Functional Languages – Jan Sparud, Henrik Nilsson - 1995
17 Declarative Debugging of Lazy Functional Programs – Lee Naish - 1992
27 Declarative diagnosis of missing answers – L Naish - 1992
1312 Monads for functional programming – Philip Wadler - 1995
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994