APA (7th ed.) Citation

Liu, J., Murphy, C., Grover, A., Johnson, K. J., Reps, T., & D’Antoni, L. (2024). Synthesizing Formal Semantics from Executable Interpreters. Proceedings of ACM on programming languages, 8(OOPSLA2), 362-388. https://doi.org/10.1145/3689724

Chicago Style (17th ed.) Citation

Liu, Jiangyi, Charlie Murphy, Anvay Grover, Keith J.C Johnson, Thomas Reps, and Loris D’Antoni. "Synthesizing Formal Semantics from Executable Interpreters." Proceedings of ACM on Programming Languages 8, no. OOPSLA2 (2024): 362-388. https://doi.org/10.1145/3689724.

MLA (9th ed.) Citation

Liu, Jiangyi, et al. "Synthesizing Formal Semantics from Executable Interpreters." Proceedings of ACM on Programming Languages, vol. 8, no. OOPSLA2, 2024, pp. 362-388, https://doi.org/10.1145/3689724.