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]
|
|