Automatic binding-related error diagnosis in logic programs

Authors:
Paweł Pietrzak;Manuel V. Hermenegildo
Affiliations:
School of Computer Science, Technical University of Madrid, UPM;School of Computer Science, Technical University of Madrid, UPM and Depts. of CS and ECE, University of New Mexico
Venue:
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Year:
2007

Citing 20
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Algorithmic debugging with assertions

Meta-programming in logic programming
A practical framework for the abstract interpretation of logic programs

Journal of Logic Programming
Logic programming

Handbook of theoretical computer science (vol. B)
Deriving descriptions of possible values of program variables by means of abstract interpretation

Journal of Logic Programming
Compile-time derivation of variable dependency using abstract interpretation

Journal of Logic Programming
Explaining type errors in polymorphic languages

ACM Letters on Programming Languages and Systems (LOPLAS)
Proving properties of programs defined over recursive data structures

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Incremental analysis of constraint logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Finding the source of type errors

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Global Analysis of Standard Prolog Programs

ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
An Assertion Language for Constraint Logic Programs

Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs

LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
A Backward Slicing Algorithm for Prolog

SAS '96 Proceedings of the Third International Symposium on Static Analysis
More Precise Yet Efficient Type Inference for Logic Programs

SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
A backward analysis for constraint logic programs

Theory and Practice of Logic Programming
Using parametric set constraints for locating errors in CLP programs

Theory and Practice of Logic Programming
The ASTREÉ analyzer

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

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.