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