TY  - RPRT
TI  - Pushdown flow analysis with abstract garbage collection
AU  - J. Ian Johnson
AU  - Ilya Sergey
AU  - Christopher Earl
AU  - Matthew Might
AU  - David Van Horn
PY  - 2014
DO  - 10.1017/s0956796814000100 10.1017/s0956796814000100 10.1017/s0956796814000100 10.1017/s0956796814000100 10.1017/s0956796814000100
UR  - https://arxiv.org/abs/1406.5106
ID  - 1406.5106
ER  -