Memory Usage Verification for OO Programs.

Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard

Browse the full SAS paper archive.