Browsing MINDS@UW Madison by Subject "symbolic abstraction"
Now showing items 4-6 of 6
-
A Method for Symbolic Computation
(2011-12)In 1979, Cousot and Cousot gave a specification of the ?best? (most-precise) abstract transformer possible for a given concrete transformer and a given abstract domain. Unfortunately, their specification does not lead to ... -
A Method for Symbolic Computation of Abstract Operations
(2012-02)In 1979, Cousot and Cousot gave a specification of the best (most-precise) abstract transformer possible for a given concrete transformer and a given abstract domain. Unfortunately, their specification does not lead to an ... -
PostHat and All That: Attaining Most-Precise Inductive Invariants
(2013-04-16)In abstract interpretation, the choice of an abstract domain fixes a limit on the precision of the inductive invariants that one can express; however, for a given abstract domain A, there is a most-precise (``strongest'', ...