Data Structure Shape Inference and Verification for OO Programs | IEEE Conference Publication | IEEE Xplore