View-Augmented Abstractions
Matt Elder, Denis Gopan, and Thomas Reps
This paper introduces view-augmented abstractions, which
specialize an underlying numeric domain to focus 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.
(Click here to access the paper:
PDF.]