Types with Potential: Polynomial Resource Bounds Via Automatic Amortized Analysis
... 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. ... This enables the manual improvement of automatically generated bounds and the automatic analysis of code thatanbsp;...
| Title | : | Types with Potential: Polynomial Resource Bounds Via Automatic Amortized Analysis |
| Author | : | Jan Hoffmann |
| Publisher | : | epubli - 2012 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
