Analysis of Logarithmic Amortised Complexity
Programming Languages
2018-07-24 v1
Abstract
We introduce a novel amortised resource analysis based on a potential-based type system. This type system gives rise to logarithmic and polynomial bounds on the runtime complexity and is the first such system to exhibit logarithmic amortised complexity. We relate the thus obtained automatable amortised resource analysis to manual amortised analyses of self-adjusting data structures, like splay trees, that can be found in the literature.
Keywords
Cite
@article{arxiv.1807.08242,
title = {Analysis of Logarithmic Amortised Complexity},
author = {Martin Hofmann and Georg Moser},
journal= {arXiv preprint arXiv:1807.08242},
year = {2018}
}
Comments
20 pages