A declarative debugger of wrong answers for lazy functional logic programs
Rafael Caballero, Mario Rodrı́guez Artalejo · 2001
We describe the design of a declarative debugger for diagnosing wrong answers in lazy functional logic programs with polymorphic type discipline. Following a known technique, the debugger is based on a program transformation: transformed programs return the computation trees needed for debugging, in addition to the results expected by source programs. Thanks to a careful specication of the translation, we are able to prove its correctness w.r.t. well-typing and program semantics.