Tracing the Evaluation of Lazy Functional Languages: a Model and its Implementation (1997)

Cached

Download Links

by Richard Watson , Eric Salzman
Venue:In Asian Computing Science Conference
Citations:1 - 0 self

Active Bibliography

Signed Date – Richard Douglas Watson, Be Mengsc Dipcompsc
2 A Trace Browser for a Lazy Functional Language – Richard Watson, Eric Salzman - 1997
2 An Embryo to a Debugger for Haskell – Jan Sparud - 1994
2 Graphical application and visualization of lazy functional computation – Sandra Periam Foubister - 1995
1 Debugging Reactive Systems in Haskell – Amr Sabry, Jan Sparud - 1997
4 Towards a Haskell Debugger – Jan Sparud - 1995
10 A Transformational Approach to Debugging Lazy Functional Programs – Jan Sparud - 1996
11 A.: Lazy evaluation and delimited control – Ronald Garcia, Andrew Lumsdaine, Amr Sabry - 2009
5 Tracing Lazy Functional Languages – Jeremy Gibbons, Keith Wansbrough - 1996
4 Towards a theory of tracing for functional programs based on graph rewriting – Olaf Chitil, Yong Luo - 2006
2 Structure and Properties of Traces for Functional Programs – Olaf Chitil, Yong Luo
20 A Semantics for Tracing Declarative Multi-Paradigm Programs – B. Brassel, M. Hanus, F. Huch - 2004
18 A Foundation for Space-Safe Transformations of Call-by-Need Programs – J├Ârgen Gustavsson , David Sands - 1999
The Architecture of a Debugger for Lazy Functional Languages – Jan Sparud And, Henrik Nilsson - 1995
8 A Declarative Approach to Debugging for Lazy Functional Languages – Henrik Nilsson, Roger Skagervall, Carlstedt Elektronik Ab - 1994
5 The Evaluation Dependence Tree: An Execution Record for Lazy Functional Debugging – Henrik Nilsson - 1996
9 The Architecture of a Debugger for Lazy Functional Languages – Jan Sparud, Henrik Nilsson - 1995
27 The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging – Henrik Nilsson - 1995
2 Demonstrating lambda calculus reduction – Peter Sestoft - 2002