We will need an effective escape analysis algorithm. Escape analysis will be used to eliminate allocations and to determine whether objects can be stack-allocated. There are other applications as well.