Parameterized Dynamic Tables

Tobias Nipkow 🌐

June 7, 2015

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.

BSD License

Topics

Theories of Dynamic_Tables