We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Analysis of Logarithmic Amortised Complexity

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.
Comments: 20 pages
Subjects: Programming Languages (cs.PL)
ACM classes: F.3.2
Cite as: arXiv:1807.08242 [cs.PL]
  (or arXiv:1807.08242v1 [cs.PL] for this version)

Submission history

From: Georg Moser [view email]
[v1] Sun, 22 Jul 2018 06:14:55 GMT (41kb,D)

Link back to: arXiv, form interface, contact.