A Piecewise Linear Programming Approach to Data Dependence Analysis. - Zhaoyun Xing; Weija Shang; Shihai Xiao (PPSC, 1993)