Ran Shaham Elliot K. Kolodner Shmuel Sagiv Automatic Removal of Array Memory Leaks in Java. 50-66 http://link.springer.de/link/service/series/0558/bibs/1781/17810050.htm 2000 conf/cc/2000 CC db/conf/cc/cc2000.html#ShahamKS00