[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!
This archive was generated by a fusion of
Pipermail (Mailman edition) and