Computation of memory dependences