TY  - RPRT
TI  - Automatically Deriving Control-Flow Graph Generators from Operational Semantics
AU  - James Koppel
AU  - Jackson Kearl
AU  - Armando Solar-Lezama
PY  - 2022
DO  - 10.1145/3547648
UR  - https://arxiv.org/abs/2010.04918
ID  - 2010.04918
ER  -