@misc{indiciae430a6875ec86,
  title = {CFA2: a Context-Free Approach to Control-Flow Analysis},
  author = {Dimitrios Vardoulakis and Olin Shivers},
  year = {2012},
  doi = {10.2168/lmcs-7(2:3)2011},
  url = {https://arxiv.org/abs/1102.3676},
  note = {Source identifier: 1102.3676}
}