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

Tracing Lazy Evaluation by . . . – Richard Douglas Watson - 1997
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
9 The Architecture of a Debugger for Lazy Functional Languages – Jan Sparud , Henrik Nilsson - 1995
7 A Declarative Approach to Debugging for Lazy Functional Languages – Henrik Nilsson - 1994
27 The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging – Henrik Nilsson - 1995
5 The Evaluation Dependence Tree: An Execution Record for Lazy Functional Debugging – Henrik Nilsson - 1996
2 Demonstrating lambda calculus reduction – Peter Sestoft - 2002
2 A Unified Approach to Fully Lazy Sharing – Thibaut Balabonski - 2012