Parameterized Dynamic Tables

Tobias Nipkow 🌐

June 7, 2015

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

This article formalizes the amortized analysis of dynamic tables parameterized with their minimal and maximal load factors and the expansion and contraction factors.

A full description is found in a companion paper.

License

BSD License

Topics

Session Dynamic_Tables

Depends on

Cite

× 
@article{Dynamic_Tables-AFP,
  author  = {Tobias Nipkow},
  title   = {Parameterized Dynamic Tables},
  journal = {Archive of Formal Proofs},
  month   = {June},
  year    = {2015},
  note    = {\url{https://isa-afp.org/entries/Dynamic_Tables.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: