Mark N. Wegman, F. Kenneth. Zadeck
ACM TOPLAS
Paper
Analysis of Pointers and Structures
Abstract
Click link to view paper
Related
Bishwaranjan Bhattacharjee, Matthew Hill, et al.
IBM J. Res. Dev
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Conference paper
SMTP path analysis
Barry Leiba, Joel Ossher, et al.
CEAS 2005