On exact data dependence analysis (Proceedings of the 6th international conference on Supercomputing - ICS '92)