Program Slicing and Middle-Out Reasoning for Error Location and Repair
Louise A. Dennis · 2006
This paper describes a proof-based approach to the location and repair of errors in functional programs. The approach is based on the use of program slicing to locate errors and middle-out reasoning to repair them. ? ? ? ?