Dependence-based representations for programs with reference variables (1991)

by P Pfeiffer
Venue:In Proceedings of the International Conference on Theoretical Aspects of Computer Software