Daniel Riley, Grigory Fedyukovich. Exact Loop Bound Analysis. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):1814-1837, 2025. [doi]
@article{RileyF25,
title = {Exact Loop Bound Analysis},
author = {Daniel Riley and Grigory Fedyukovich},
year = {2025},
doi = {10.1145/3729323},
url = {https://doi.org/10.1145/3729323},
researchr = {https://researchr.org/publication/RileyF25},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {9},
number = {OOPSLA1},
pages = {1814-1837},
}