Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2010/11 / Oberseminar / Julien Oster: An Agda Implementation of Deletion in Left-leaning Red-Black Trees


Inhaltsbereich

Julien Oster: An Agda Implementation of Deletion in Left-leaning Red-Black Trees

TCS Oberseminar, 10.12.2010, 14:15
Wann 14:15 15:45 10.12.2010
von bis
Wo L109
Termin übernehmen vCal
iCal

Julien Oster, An Agda implementation of deletion in Left-leaning Red-Black trees

We present an implementation of deletion in Left-leaning Red-Black-trees in Literate Agda, based on a modified data structure originally by Ek, Holmström and Andjelkovic, and explain in detail how Agda ensures correctness by definition of the algorithm.

Artikelaktionen

abgelegt unter:

Funktionsleiste