The evaluation dependence tree as a basis for lazy functional debugging (1997)

by Henrik Nilsson, Jan Sparud
Venue:Automated Software Engineering: An International Journal