A practical algorithm for exact array dependence analysis (1992)

by W Pugh
Venue:Communications of the ACM