Sciweavers

ENTCS
2010

View-Augmented Abstractions

13 years 1 months ago
View-Augmented Abstractions
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA er introduces view-augmented abstractions, which specialize an underlying numeric domain on a particular expression or set of expressions. A view-augmented abstraction adds a set of materialized views to the original domain. View augmentation can extend a domain so that it captures information unavailable in the original domain. We show how to use finite differencing to maintain a materialized view in response to a transformation of the program state. Our experiments show that view augmentation can increase precision in useful ways.
Matt Elder, Denis Gopan, Thomas W. Reps
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Where ENTCS
Authors Matt Elder, Denis Gopan, Thomas W. Reps
Comments (0)