Automatic Binding-Related Error Diagnosis in Logic Programs

@inproceedings{Pietrzak2007AutomaticBE,
  title={Automatic Binding-Related Error Diagnosis in Logic Programs},
  author={Pawel Pietrzak and Manuel V. Hermenegildo},
  booktitle={ICLP},
  year={2007}
}
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