@proceedings {ABEFL03b, title = {Abstract Correction of First-Order Functional Programs}, journal = {12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003}, volume = {86}, number = {3}, year = {2003}, publisher = {Elsevier}, abstract = {Debussy is an (abstract) declarative diagnosis tool for functional programs which are written in OBJ style. The debugger does not require the user to either provide error symptoms in advance or answer any question concerning program correctness. In this paper, we formalize an inductive learning methodology for repairing program bugs in OBJ-like programs. Correct program rules are automatically synthesized from examples which might be generated as an outcome by the Debussy diagnoser.}, keywords = {Debugging, Inductive Learning, OBJ, program correction}, author = {Maria Alpuente and Demis Ballis and Santiago Escobar and Moreno Falaschi and Salvador Lucas} }