Numeric Domains with Summarized Dimensions
Denis Gopan, Frank DiMaio, Nurit Dor, Thomas Reps and Mooly Sagiv
We introduce a systematic approach to designing summarizing abstract
numeric domains from existing numeric domains. Summarizing domains use
summary dimensions to represent potentially unbounded collections of
numeric objects. Such domains are of benefit to analyses that verify
properties of systems with an unbounded number of numeric objects,
such as shape analysis, or systems in which the number of numeric
objects is bounded, but large.
(Click here to access the paper:
[PostScript;
PDF;
(c) Springer-Verlag]