dissertation · 1996

A Transformational Approach to Debugging Lazy Functional Programs

Cited by 9Abstract and details only

Abstract

We describe a debugger for the lazy functional language Haskell. The basic idea is to transform a Haskell program into a program that evaluates to the same result as the original program but also produces an evaluation dependence tree describing how the result was obtained. If an error is detected while running the program, the programmer can browse the evaluation dependence tree, or use algorithmic debugging, in order to try to find the erroneous definition. The method is compared to other ways of debugging lazy functional programs. Some ideas for improvements are also presented.

Cite this paper

APA 7

Sparud, J. (1996). A Transformational Approach to Debugging Lazy Functional Programs.

MLA 9

Sparud, Jan. “A Transformational Approach to Debugging Lazy Functional Programs.” 1996.

Chicago

Sparud, Jan. 1996. “A Transformational Approach to Debugging Lazy Functional Programs.”

Harvard

Sparud, J. (1996) ‘A Transformational Approach to Debugging Lazy Functional Programs’.

BibTeX

@phdthesis{sparud1996transformational,
  title = {{A Transformational Approach to Debugging Lazy Functional Programs}},
  author = {Sparud, Jan},
  year = {1996}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.