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.


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.


BSD License


Session Dynamic_Tables