Abstract Interpretation-based verification/certification in the ciaoPP system
Puebla Sánchez, Alvaro Germán
Albert Albiol, Elvira
Hermenegildo, Manuel V.
- Publisher: Facultad de Informática (UPM)
CiaoPP is the abstract interpretation-based preprocessor of
the Ciao multi-paradigm (Constraint) Logic Programming system. It uses modular, incremental abstract interpretation as a fundamental tool to obtain information about programs. In CiaoPP, the semantic approx...