Abstract Interpretation-based verification/certification in the ciaoPP system

Conference object English OPEN
Puebla Sánchez, Alvaro Germán; Albert Albiol, Elvira; Hermenegildo, Manuel V.;
  • Publisher: Facultad de Informática (UPM)
  • Subject: Informática

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... View more
Share - Bookmark