Browsing CS Technical Reports by Subject "abstract domains"
Now showing items 1-1 of 1
(2017-05-16)Abstract. This paper addresses the problem of abstracting a set of affine transformers v' = v C + d, where v and v' represent the pre-state and post-state, respectively. We introduce a framework to harness any base abstract ...