Detecting conflicts between structure accesses (1988)

by of California, Calif Larus Berkeley, J, P Hilfinger
Venue:In SIGPLAN Conference on Programming Languages Design and Implementation