Data Structure Shape Inference and Verification for OO Programs.

Rhys Owen, Hugh Anderson

Browse the full TASE paper archive.