Search
Now showing items 1-3 of 3
Abstract Domains of Affine Relations
(University of Wisconsin-Madison Department of Computer Sciences, 2013-05-13)
This paper considers some known abstract domains for affine-relation
analysis, along with several variants, and studies how they relate to
each other. The various domains represent sets of points that satisfy
affine ...
Bilateral Algorithms for Symbolic Abstraction
(University of Wisconsin-Madison Department of Computer Sciences, 2012-03-28)
Given a concrete domain C, a concrete operation tau: C -> C, and an abstract domain A, a fundamental problem in abstract interpretation is to find the best abstract transformer tau#: A -> A that over-approximates tau. ...
Abstract Domains of Affine Relations
(University of Wisconsin-Madison Department of Computer Sciences, 2011)
This paper considers some known abstract domains for affine-relation
analysis (ARA), along with several variants, and studies how they
relate to each other. We show that the abstract domains of
Mueller-Olm/Seidl (MOS) ...