[isabelle] New AFP article: Parameterized Dynamic Tables

Iâm happy to announce yet another AFP entry, Parameterized Dynamic Tables, by Tobias Nipkow. He formalizes the amortized analysis of dynamic tables parameterized with their minimal and maximal load factors and the expansion and contraction factors:


Companion paper at http://www21.in.tum.de/~nipkow/pubs/tables.pdf

Itâs great to see so much material being submitted!

Larry Paulson

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.