[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:

	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






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