APA (7th ed.) Citation

Ait El Manssour, R., Kenison, G., Shirmohammadi, M., & Varonka, A. (2025). Simple Linear Loops: Algebraic Invariants and Applications. Proceedings of ACM on programming languages, 9(POPL), 745-771. https://doi.org/10.1145/3704862

Chicago Style (17th ed.) Citation

Ait El Manssour, Rida, George Kenison, Mahsa Shirmohammadi, and Anton Varonka. "Simple Linear Loops: Algebraic Invariants and Applications." Proceedings of ACM on Programming Languages 9, no. POPL (2025): 745-771. https://doi.org/10.1145/3704862.

MLA (9th ed.) Citation

Ait El Manssour, Rida, et al. "Simple Linear Loops: Algebraic Invariants and Applications." Proceedings of ACM on Programming Languages, vol. 9, no. POPL, 2025, pp. 745-771, https://doi.org/10.1145/3704862.