| dc.contributor.author |
Elder, Matt |
en_US |
| dc.contributor.author |
Lim, Junghee |
en_US |
| dc.contributor.author |
Sharma, Tushar |
en_US |
| dc.contributor.author |
Andersen, Tycho |
en_US |
| dc.contributor.author |
Reps, Thomas |
en_US |
| dc.date.accessioned |
2012-03-15T17:25:36Z |
|
| dc.date.available |
2012-03-15T17:25:36Z |
|
| dc.date.created |
2011 |
en_US |
| dc.date.issued |
2012-03-15T17:25:36Z |
|
| dc.identifier.uri |
http://digital.library.wisc.edu/1793/60738 |
|
| dc.description.abstract |
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) and King/Sondergaard (KS) are, in general,
incomparable, but give sound interconversion methods. We also show
that the methods of King and Sondergaard can be applied without
bit-blasting -- while still using a bit-precise concrete semantics. |
en_US |
| dc.description.provenance |
Made available in DSpace on 2012-03-15T17:25:36Z (GMT). No. of bitstreams: 1
TR1691.pdf: 368437 bytes, checksum: 39527bcaf8d6a456850da6cfd0c32e5c (MD5) |
en |
| dc.format.mimetype |
application/pdf |
en_US |
| dc.publisher |
University of Wisconsin-Madison Department of Computer Sciences |
en_US |
| dc.title |
Abstract Domains of Affine Relations |
en_US |
| dc.type |
Technical Report |
en_US |
