Sciweavers

Share
ICLP
2007
Springer

Automatic Binding-Related Error Diagnosis in Logic Programs

11 years 6 months ago
Automatic Binding-Related Error Diagnosis in Logic Programs
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time checking of assertions based act interpretation. The diagnoser analyzes the graph generated bstract interpreter, which is a provably safe approximation of the program semantics. The proposed algorithm traverses this graph to find the point where the actual error originates (a reason of the symptom), leading to the point the error has been reported (the symptom). The procedure is fully automatic, not requiring any interaction with the user. A prototype diagnoser has been implemented and preliminary results are encouraging.
Pawel Pietrzak, Manuel V. Hermenegildo
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICLP
Authors Pawel Pietrzak, Manuel V. Hermenegildo
Comments (0)
books