Tighter Loop Bound Analysis (Technical report)

Pavel Čadek, Jan Strejček, Marek Trtík

We present a new algorithm for computing upper bounds on the number of executions of each program instruction during any single program run. The upper bounds are expressed as funct…