Sciweavers

TACAS
2004
Springer
94views Algorithms» more  TACAS 2004»
14 years 5 months ago
Numeric Domains with Summarized Dimensions
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Re...