Parameterized Dynamic Tables

Tobias Nipkow

7 June 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

Depends On

Topics

Theories