About This Item

Ask the MINDS@UW Librarian

Abstract Domains of Affine Relations

Show simple item record


Files Size Format View
TR1691.pdf 368.4Kb application/pdf View/Open
Key Value Language
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

Part of

Show simple item record