TY  - RPRT
TI  - Introspective Pushdown Analysis of Higher-Order Programs
AU  - Christopher Earl
AU  - Ilya Sergey
AU  - Matthew Might
AU  - David Van Horn
PY  - 2012
UR  - https://arxiv.org/abs/1207.1813
ID  - 1207.1813
ER  -