Pushdown flow analysis with abstract garbage collection
arXiv (2014) - Comments
arxiv: 1406.5106  issn: 2331-8422  doi: 10.1017/s0956796814000100 10.1017/s0956796814000100 10.1017/s0956796814000100 10.1017/s0956796814000100 10.1017/s0956796814000100 

J. Ian Johnson, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn