... has about 80 lines of code, requires a maximal degree of 5, and runs in 35 seconds on a 2010 MacBook Air with a 2.13 GHz Intel Core 2 Duo. One reason ... These proofs can be shipped with the program to certify its resource consumption .
|Title||:||Types with Potential: Polynomial Resource Bounds Via Automatic Amortized Analysis|
|Publisher||:||epubli - 2012|