1. A method comprising: assigning an alias to each equivalence class of possibly overlapping memory accesses as defined by an alias analysis of an intermediate language program; and defining a definition-use relationship between statements in each equivalence class wherein definition-statements which belong to the equivalence class reference the alias associated with that class and wherein use-statements which belong to the equivalence class reference the alias associated with that class.