A general data dependence test for dynamic, pointer-based data structures (1994)

by Joseph Hummel, Laurie J Hendren, Alexandru Nicolau
Venue:Proceedings of the ACM SIGPLAN ’94 Conference on Programming Language Design and Implementation