Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP article: Parameterized Dynamic Tables

Email Gateway (Aug 22 2022 at 10:25):

From: Larry Paulson <lp15@cam.ac.uk>
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:

http://afp.sourceforge.net/entries/Dynamic_Tables.shtml

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

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

Larry Paulson

Last updated: Mar 09 2025 at 12:28 UTC