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
83 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
36 Multiple-view tracing for Haskell: a new hat – Malcolm Wallace, Olaf Chitil, Thorsten Brehm, Colin Runciman - 2001
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
94 A Critique of Standard ML – Andrew W. Appel - 1992
181 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
9 Tracing Lazy Evaluation by Program Transformation – R D Watson - 1996
11 Practical aspects of declarative debugging in Haskell 98 – B Pope, L Naish - 2003
13 Buddha - A Declarative Debugger for Haskell – Bernard Pope, Supervisor Lee Naish - 1998
17 H.: How to look busy while being as lazy as ever: The implementation of a lazy functional debugger – Nilsson - 2001
30 Formally Based Profiling for Higher-Order Functional Languages – Patrick M. Sansom, Simon L. Peyton Jones - 1997
8 GHood -- Graphical Visualisation and Animation of Haskell Object Observations – Claus Reinke - 2001
20 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
140 A unified computation model for functional and logic programming – Michael Hanus - 1997
122 Efficient Compilation of Lazy Evaluation – Thomas Johnsson - 1984