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
Citace podle Chicago (17th ed.)Liu, Jiangyi, Charlie Murphy, Anvay Grover, Keith J.C Johnson, Thomas Reps, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..