APA (7th ed.) Citation

Koppel, J., Kearl, J., & Solar-Lezama, A. (2022). Automatically deriving control-flow graph generators from operational semantics. Proceedings of ACM on programming languages, 6(ICFP), 742-771. https://doi.org/10.1145/3547648

Chicago Style (17th ed.) Citation

Koppel, James, Jackson Kearl, and Armando Solar-Lezama. "Automatically Deriving Control-flow Graph Generators from Operational Semantics." Proceedings of ACM on Programming Languages 6, no. ICFP (2022): 742-771. https://doi.org/10.1145/3547648.

MLA (9th ed.) Citation

Koppel, James, et al. "Automatically Deriving Control-flow Graph Generators from Operational Semantics." Proceedings of ACM on Programming Languages, vol. 6, no. ICFP, 2022, pp. 742-771, https://doi.org/10.1145/3547648.