LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ??-??, 2004 c 2004 Kluwer Academic Publishers - Manufactured in The Netherlands A debugging environment for lazy functional languages

This paper describes a new approach for debugging lazy functional languages. It rests on the fact that a functional program is the transformation of an expression; one debugs a program by investigating the syntactic form of the expression and by stopping the reduction process at given points. We show what problems are involved and our approach to solving them in a prototype implementation.