Bard Bloom, Paul Keyser, et al.
Comput. Lang. Syst. Struct.
Paper
Analysis of Pointers and Structures
Abstract
Click link to view paper
Related
Conference paper
Analysis of pointers and structures
David R. Chase, Mark Wegman, et al.
PLDI 1990
Mark Wegman, James Kozloski
AAAI 2023
Sam Adams, Suparna Bhattacharya, et al.
ECOOP 2013