Uses Evaluation Dependence Trees to overcome the fact that in lazy languages the order of evaluation is opaque. A related paper is The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging.
Several other papers about debugging in lazy functional languages are available from Jan Sparud home page.
Posted to functional by Ehud Lamm on 11/30/02; 11:53:55 AM
|