Computing Abstract Distances in Logic Programs

Ignacio Casso, Jose F. Morales, Pedro Lopez-Garcia +1

Abstract interpretation is a well-established technique for performing static analyses of logic programs. However, choosing the abstract domain, widening, fixpoint, etc. that provi…