O'Reilly logo
  • Subin Velleringatt thinks this is interesting:

Dependence analysis uses number-theoretic tests to reason about the values that can be assumed by subscript expressions. It is used to disambiguate references to array elements.

From

Cover of Engineering a Compiler

Note

Did not understand what does this mean....:(