Dynamic memory disambiguation for array references
David H. Bernstein, Doron L. Cohen, Dror E. Maydan · 1994
Memory disambiguation, or alias analysis, is a key component of modern optimizing compilers. Any optimization that reorders or changes code containing memory operations must analyze the memory references to ensure that the original semantics of the program are not changed.