Rank: A Tool to Check Program Termination and Computational Complexity.

Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord

Browse the full ICST paper archive.