analysis in the absence of pointers and structure (2010)

by M Shape Might
Venue:In VMCAI 2010: International Conference on Verification, Model-Checking and Abstract Interpretation