Dissemin is shutting down on January 1st, 2025

Published in

Logic Programming, p. 333-347

DOI: 10.1007/978-3-540-74610-2_23

Links

Tools

Export citation

Search in Google Scholar

Automatic binding-related error diagnosis in logic programs

Journal article published in 2007 by Pawel Pietrzak, Manuel V. Hermenegildo ORCID
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Question mark in circle
Preprint: policy unknown
Upload
Question mark in circle
Postprint: policy unknown
Upload
Question mark in circle
Published version: policy unknown
Upload

Abstract

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 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.