LISP and Symbolic Computation, 5(3)271-287

A Debugging Environment for Lazy Functional Languages

Guy Lapalme, Départment d'informatique et de recherche opérationnelle, Université de Montréal, CP 6128, Succ "A", Montréal Québec Canada, H3C 3J7
Mario Latendresse, Centre de recherche informatique de Montréal, 3744 Jean-Brillant, Bureau 500, Montréal Québec Canada, H3T 1P1

Abstract: 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.

[local copy]
[picture of journal cover]

May 2003 - hosc@brics.dk