Numeric Domains with Summarized Dimensions.

Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv

Browse the full TACAS paper archive.