Giuseppe Valetto, Mary Helander, et al.
MSR 2007
Paper
Analysis of Pointers and Structures
Abstract
Click link to view paper
Related
Conference paper
Parsing for structural editors
Mark Wegman
FOCS 1980
Sam Adams, Suparna Bhattacharya, et al.
ECOOP 2013
Conference paper
Analysis of pointers and structures
David R. Chase, Mark Wegman, et al.
PLDI 1990