A practical comparator of cost functions and its applications ?
We present a practical comparator of cost functions for realistic programs. We handle max max , min min , and nat nat operators which appear in upper and lower bounds. We present a number of applications where the comparator is essential. The comparator is implemented and available online as free software.
resource analysis cost analysis function comparison upper/lower bounds