Heap Decomposition Inference with Linear Programming.

Haitao Steve Zhu, Yu David Liu

Browse the full ECOOP paper archive.