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
Citace podle Chicago (17th ed.)Newcomb, Julie L., Andrew Adams, Steven Johnson, Rastislav Bodik, a 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.
Citace podle MLA (9th ed.)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.