Table 6 Computation of \( T\mathcal {B} (\tau _6)\) for Fig. 5 by Definition 23

From: Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints