APA (7th ed.) Citation

Antoniadis, A., Tsatiris, I., Grech, N., & Smaragdakis, Y. (2025). Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning). Proceedings of ACM on programming languages, 9(OOPSLA2), 2199-2226. https://doi.org/10.1145/3763129

Chicago Style (17th ed.) Citation

Antoniadis, Anastasios, Ilias Tsatiris, Neville Grech, and Yannis Smaragdakis. "Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)." Proceedings of ACM on Programming Languages 9, no. OOPSLA2 (2025): 2199-2226. https://doi.org/10.1145/3763129.

MLA (9th ed.) Citation

Antoniadis, Anastasios, et al. "Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)." Proceedings of ACM on Programming Languages, vol. 9, no. OOPSLA2, 2025, pp. 2199-2226, https://doi.org/10.1145/3763129.