A practical algorithm for exact array dependence analysis (1992)

by W PUGH
Venue:In Communications of the ACM