Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops.

Nils Lommen, Fabian Meyer, Jrgen Giesl

Browse the full CADE paper archive.