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

Documents Related by Co-Citation

55 Debugging Haskell by Observing Intermediate Data Structures – Andy Gill - 2000
79 Declarative debugging for lazy functional languages – Henrik Nilsson - 1998
27 The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging – Henrik Nilsson - 1995
470 Algorithmic Program Debugging – E Y Shapiro - 1983
13 Complete and Partial Redex Trails of Functional Computations – Jan Sparud, Colin Runciman - 1997
35 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
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
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
93 A Critique of Standard ML – Andrew W. Appel - 1992
9 Tracing Lazy Evaluation by Program Transformation – R D Watson - 1996
10 Practical aspects of declarative debugging in Haskell 98 – Bernard Pope, Lee Naish - 2003
140 A unified computation model for functional and logic programming – Michael Hanus - 1997
13 Buddha - A Declarative Debugger for Haskell – Bernard Pope, Supervisor Lee Naish - 1998
16 How to look busy while being as lazy as ever: the implementation of a lazy functional debugger – Henrik Nilsson - 2001
18 Dynamic Slicing Based on Redex Trails – C Ochoa, J Silva, G Vidal - 2004
124 TOY: A Multiparadigm Declarative System – F López-Fraguas, J Sánchez-Hernández - 1999
8 GHood -- Graphical Visualisation and Animation of Haskell Object Observations – Claus Reinke - 2001
19 Highlights from nhc - a space-efficient Haskell compiler – Niklas Röjemo - 1995
24 Towards a Portable Lazy Functional Declarative Debugger – Lee Naish, Tim Barbour - 1995