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. (2005)
  • 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