TY  - RPRT
TI  - CFA2: a Context-Free Approach to Control-Flow Analysis
AU  - Dimitrios Vardoulakis
AU  - Olin Shivers
PY  - 2012
DO  - 10.2168/lmcs-7(2:3)2011
UR  - https://arxiv.org/abs/1102.3676
ID  - 1102.3676
ER  -