TY  - RPRT
TI  - Tight Polynomial Worst-Case Bounds for Loop Programs
AU  - Amir M. Ben-Amram
AU  - Geoff Hamilton
PY  - 2020
DO  - 10.23638/lmcs-16(2:4)2020
UR  - https://arxiv.org/abs/1906.10047
ID  - 1906.10047
ER  -