Proof-Directed Debugging

Robert Harper. Proof-Directed Debugging. Journal of Functional Programming, 9(4):463-469, 1999.

Abstract

Abstract is missing.