A Storeless Model of Aliasing and Its Abstractions Using Finite Representations of Right-regular Equivalence Relations (1992)

by A Deutsch
Venue:In ICCL