Conference paper
Analysis of pointers and structures
David R. Chase, Mark Wegman, et al.
PLDI 1990
Paper
Analysis of Pointers and Structures
Abstract
Click link to view paper
Related
Conference paper
Parsing for structural editors
Mark Wegman
FOCS 1980
Bard Bloom, Paul Keyser, et al.
Comput. Lang. Syst. Struct.
Giuseppe Valetto, Mary Helander, et al.
MSR 2007