Liu, J., Murphy, C., Grover, A., Johnson, K. J. C., Reps, T., & D'Antoni, L. (2024). Synthesizing Formal Semantics from Executable Interpreters.
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. 2024.
MLA-Zitierstil (9. Ausg.)Liu, Jiangyi, et al. Synthesizing Formal Semantics from Executable Interpreters. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.