Automatic Binding-Related Error Diagnosis in Logic Programs

  title={Automatic Binding-Related Error Diagnosis in Logic Programs},
  author={Pawel Pietrzak and Manuel V. Hermenegildo},
This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result in abstract symptoms during compile-time checking of assertions based on abstract interpretation. The diagnoser analyzes the graph generated by the abstract interpreter, which is a provably safe approximation of the program… CONTINUE READING