The complexity of lazy evaluation forbids classic debugging techniques like a simple step-by-step representation of the buggy program run. Therefore, most sophisticated tools for finding bugs in lazy functional programs try to display the run as if the program's underlying semantics was strict. In order to provide such a strict representation, current approaches gather a lot of information about the executed program. We utilized a new technique to drastically reduce the amount of gathered data and show how to use the reduced information to implement a debugging tool which supports declarative debugging as well as a strict step-by-step tracer. © Springer-Verlag Berlin Heidelberg 2008.
CITATION STYLE
Braßel, B., & Siegel, H. (2008). Debugging lazy functional programs by asking the oracle. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5083 LNCS, pp. 183–200). https://doi.org/10.1007/978-3-540-85373-2_11
Mendeley helps you to discover research relevant for your work.