Sciweavers

194
Voted
POPL
2005
ACM
16 years 3 months ago
A framework for numeric analysis of array operations
Denis Gopan, Thomas W. Reps, Shmuel Sagiv