Multivariate Amortised Resource Analysis for Term Rewrite Systems

Martin Hofmann & Georg Moser
We study amortised resource analysis in the context of term rewrite systems. We introduce a novel amortised analysis based on the potential method. The method is represented in an inference system akin to a type system and gives rise to polynomial bounds on the innermost runtime complexity of the analysed rewrite system. The crucial feature of the inference system is the admittance of multivariate bounds in the context of arbitrary data structures in a completely...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.