A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations | IEEE Conference Publication | IEEE Xplore