A framework for numeric analysis of array operations.

Denis Gopan, Thomas W. Reps, Shmuel Sagiv

Browse the full POPL paper archive.