Fanjing Meng, Mark Wegman, et al.
IBM J. Res. Dev
Paper
Analysis of Pointers and Structures
Abstract
Click link to view paper
Related
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Conference paper
Exact and approximate membership testers
Larry Carter, Robert Floyd, et al.
STOC 1978
Conference paper
Execution patterns in object-oriented visualization
Wim de Pauw, David Lorenz, et al.
COOTS 1998