Output details
11 - Computer Science and Informatics
University of Kent
Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs
<09> Algorithmic debugging, introduced in 1982 by Shapiro, is effective for side-effect-free programs, such as pure functional programs. In 2005 Pope proposed a user-friendlier variant of algorithmic debugging for higher-order programs. This paper defines a formal framework that subsumes the old and new variants and mixtures of them. The paper also uncovers a side-condition for correctness of the new variant that happens to hold for well-typed programs. This framework feeds into on-going work on the Haskell tracing system Hat available from projects.haskell.org/hat. Since autumn 2013, the work has been continued by a PhD student.