Detecting conflicts between structure accesses (1988)

by James R Larus, Paul N Hilfinger
Venue:In SIGPLAN '88 Conference on Programming Language Design and Implementation