Memory Usage Verification for OO Programs

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

126 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Memory Usage Verification for OO Programs'. Together they form a unique fingerprint.

Keyphrases

Computer Science