Declarative Debugging with Buddha

@inproceedings{Pope2004DeclarativeDW,
  title={Declarative Debugging with Buddha},
  author={Bernard J. Pope},
  booktitle={Advanced Functional Programming},
  year={2004}
}
Haskell is a very safe language, particularly because of its type system. However there will always be programs that do the wrong thing. Programmer fallibility, partial or incorrect specifications and typographic errors are but a few of the reasons that make bugs a fact of life. This paper is about the use and implementation of a debugger, called Buddha, which helps Haskell programmers understand why their programs misbehave. Traditional debugging tools that examine the program execution step… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 23 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 22 references

Drawing graphs with dot

  • E. Gansner, E. Koutsofios, S. North
  • www.research. att.com/sw/tools/graphviz/dotguide…
  • 2002
Highly Influential
5 Excerpts

Tracing and Debugging Lazy Functional Computations

  • J. Sparud
  • PhD thesis, Chalmers University of Technology…
  • 1999
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…