An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming

Daniel Jurjo-Rivas, Joaquín Arias, Gopal Gupta +3

Abstract Interpretation infers and verifies program properties by over-approximating program semantics. It has been highly successful for (Constraint) Logic Programming, enabling t…