ABC: Algebraic Bound Computation for Loops.

Rgis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovcs

Browse the full LPAR paper archive.