Browsing Computer Science (CS) by Author "Nguyen, Huu Hai"
Now showing items 1-1 of 1
-
Memory Usage Inference for Object-Oriented Programs
Nguyen, Huu Hai; Chin, Wei Ngan; Qin, Shengchao; Rinard, Martin C. (2005-01)We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias ...