Multivariate amortized resource analysis
Abstract
We study the problem of automatically analyzing the worst-case resource usage of procedures with several arguments. Existing automatic analyses based on amortization or sized types bound the resource usage or result size of such a procedure by a sum of unary functions of the sizes of the arguments.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 01, 2012
- Source ID
- 10.1145/2362389.2362393
Entities
People
- Jan Hoffmann
- Klaus Aehlig
- Martin Hofmann
Organizations
- Defense Advanced Research Projects Agency
- Division of Computer and Network Systems
- Ludwig-Maximilians-Universität München
- Yale University