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.

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Matt Elder, Denis Gopan, Thomas W. Reps
• Keywords: ENTCS 2010, Materialized View, Software Engineering, View Augmentation, View-augmented Abstraction