Simplifying polynomial constraints over integers to make dependence analysis more precise

This publication has 4 references indexed in Scilit:

• Symbolic program analysis and optimization for parallelizing compilers
  Published by Springer Nature ,1993
• A practical algorithm for exact array dependence analysis
  Communications of the ACM, 1992
• Delinearization
  Published by Association for Computing Machinery (ACM) ,1992
• Automatic translation of FORTRAN programs to vector form
  ACM Transactions on Programming Languages and Systems, 1987