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
Parsing for structural editors
Mark Wegman
FOCS 1980
Mark N. Wegman, F. Kenneth. Zadeck
ACM TOPLAS
Conference paper
Exact and approximate membership testers
Larry Carter, Robert Floyd, et al.
STOC 1978