Tight Worst-Case Bounds for Polynomial Loop Programs.

Amir M. Ben-Amram, Geoff W. Hamilton

Browse the full FOSSACS paper archive.