Newcomb, J. L., Adams, A., Johnson, S., Bodik, R., & Kamil, S. (2020). Verifying and improving Halide’s term rewriting system with program synthesis. Proceedings of ACM on programming languages, 4(OOPSLA), 1-28. https://doi.org/10.1145/3428234
Chicago-Zitierstil (17. Ausg.)Newcomb, Julie L., Andrew Adams, Steven Johnson, Rastislav Bodik, und Shoaib Kamil. "Verifying and Improving Halide’s Term Rewriting System with Program Synthesis." Proceedings of ACM on Programming Languages 4, no. OOPSLA (2020): 1-28. https://doi.org/10.1145/3428234.
MLA-Zitierstil (9. Ausg.)Newcomb, Julie L., et al. "Verifying and Improving Halide’s Term Rewriting System with Program Synthesis." Proceedings of ACM on Programming Languages, vol. 4, no. OOPSLA, 2020, pp. 1-28, https://doi.org/10.1145/3428234.