TY  - RPRT
TI  - Heap Abstractions for Static Analysis
AU  - Vini Kanvar
AU  - Uday P. Khedker
PY  - 2015
DO  - 10.1145/2931098
UR  - https://arxiv.org/abs/1403.4910
ID  - 1403.4910
ER  -