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 ...