Search
Now showing items 1-1 of 1
Memory Usage Inference for Object-Oriented Programs
(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 ...