Proof-Directed Debugging Revisited
Kwangkeun Yi of Seoul National University’s School of Computer Science and Engineering revisits Robert Harper’s classic “Proof-Directed debugging” article in the Journal of Functional Programming. This time, with much simpler examples.
(Hat Tip: Lambda the Ultimate)