A Storeless Model of Aliasing using Finite Representations of Right Regular Equivalence Relations (1992)

by A Deutch
Venue:Proceedings of the IEEE 1992 International Conference on Computer Languages, Oakland California, pp 2