Richard Watson. Debugging techniques for functional languages. In Neil Leslie and Nigel Perry (editors), Proceedings of the Massey Functional Programming Workshop, 1994.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Tracing Lazy Functional Languages - Jeremy Gibbons And (1996)   (2 citations)  (Correct)

....a tracer for pure lambda calculus (with no primitives) allowing call by name and a kind of lazy evaluation ( call by name with some sharing ) However, this system performs computation under lambda abstractions, so does not model lazy evaluation as in most functional languages. Several authors [17, 21, 16, 26] describe a transformational approach to tracing, whereby the program to be traced is transformed to return a pair consisting of the original result and some trace information . However, this approach comes adrift because of lazy evaluation; the trace information usually concerns partially ....

Richard Watson. Debugging techniques for functional languages. In Neil Leslie and Nigel Perry (editors), Proceedings of the Massey Functional Programming Workshop, 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC