APA-Zitierstil (7. Ausg.)

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-Zitierstil (17. Ausg.)

Liu, Jiangyi, Charlie Murphy, Anvay Grover, Keith J.C Johnson, Thomas Reps, und 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-Zitierstil (9. Ausg.)

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.