Fanjing Meng, Mark Wegman, et al.
IBM J. Res. Dev
Paper
Analysis of Pointers and Structures
Related
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Conference paper
Exact and approximate membership testers
Larry Carter, Robert Floyd, et al.
STOC 1978
Sam Adams, Suparna Bhattacharya, et al.
ECOOP 2013