3.7.3. Abstract interpretation

Denotes the fact that abstract interpretation was used for deriving a filtering algorithm for a constraint C from a polynomial algorithm describing a checker for a ground instance of C. Abstract interpretation [CousotCousot77] executes an algorithm on abstract values in order to deduce some information about that algorithm.