| Richard Watson. Debugging techniques for functional languages. In Neil Leslie and Nigel Perry (editors), Proceedings of the Massey Functional Programming Workshop, 1994. |
....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