Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

Joaquin Arias, Manuel Carro

CiaoPP is an analyzer and optimizer for logic programs, part of the Ciao Prolog system. It includes PLAI, a fixpoint algorithm for the abstract interpretation of logic programs whi…