Search
Now showing items 1-1 of 1
Data Structure Repair Using Goal-Directed Reasoning
(2004-05-18)
Model-based data structure repair is a promising techniquefor enabling programs to continue to execute successfullyin the face of otherwise fatal data structure corruption errors.Previous research in this eld relied on ...