@bibtex{          2101.12029,
  Author        = "Hofmann, Martin and Leutgeb, Lorenz and Moser, Georg and Obwaller, David and Zuleger, Florian",
  Abstract      = "We introduce a novel amortised resource analysis couched in a type-and-effect system. Our analysis is formulated in terms of the physicist's method of amortised analysis, and is potential-based. The type system makes use of logarithmic potential functions and is the first such system to exhibit *logarithmic amortised complexity*. With our approach we target the automated analysis of self-adjusting data structures, like splay trees, which so far have only manually been analysed in the literature. In particular, we have implemented a semi-automated prototype, which successfully analyses the zig-zig case of *splaying*, once the type annotations are fixed.",
  comments      = "35 pages. arXiv admin note: text overlap with arXiv:1807.08242",
  date-added    = "2021-03-10 15:56:50 +0100",
  date-modified = "2021-03-10 15:56:51 +0100",
  EPrint        = "arXiv:2101.12029",
  EPrintType    = "arXiv",
  Title         = "{T}ype-{B}ased {A}nalysis of {L}ogarithmic {A}mortised {C}omplexity",
  URL           = "http://arxiv.org/abs/2101.12029",
  Year          = "2021",
  bdsk-url-1    = "http://arxiv.org/abs/2101.12029",
  File          = "2101.12029 - i - i.pdf"
}

@bibtex{ 2101.12029, Author = "Hofmann, Martin and Leutgeb, Lorenz and Moser, Georg and Obwaller, David and Zuleger, Florian", Abstract = "We introduce a novel amortised resource analysis couched in a type-and-effect system. Our analysis is formulated in terms of the physicist's method of amortised analysis, and is potential-based. The type system makes use of logarithmic potential functions and is the first such system to exhibit logarithmic amortised complexity. With our approach we target the automated analysis of self-adjusting data structures, like splay trees, which so far have only manually been analysed in the literature. In particular, we have implemented a semi-automated prototype, which successfully analyses the zig-zig case of splaying, once the type annotations are fixed.", comments = "35 pages. arXiv admin note: text overlap with arXiv:1807.08242", date-added = "2021-03-10 15:56:50 +0100", date-modified = "2021-03-10 15:56:51 +0100", EPrint = "arXiv:2101.12029", EPrintType = "arXiv", Title = "{T}ype-{B}ased {A}nalysis of {L}ogarithmic {A}mortised {C}omplexity", URL = "http://arxiv.org/abs/2101.12029", Year = "2021", bdsk-url-1 = "http://arxiv.org/abs/2101.12029", File = "2101.12029 - i - i.pdf" }