A Storeless Model of Aliasing and its Abstractions using Finite Representations of Right-Regular Equivalence Relations (1992)

by Alain Deutsch
Venue:Proc. of the IEEE'92 International Conference on Computer Languages