Wie man Ihren Mergesort korrekt und stabil beweisen kann, fast umsonst
Die Autoren präsentieren eine neuartige Charakterisierung stabiler Mergesort-Funktionen unter Verwendung relationaler Parametrizität und zeigen, dass diese die Korrektheit von Mergesort impliziert. Daher kann man die Korrektheit verschiedener Varianten von Mergesort (z.B. top-down, bottom-up, tail-rekursiv, nicht-tail-rekursiv, glatt und nicht-glatt) beweisen, indem man die Charakterisierungseigenschaft für jede Variation beweist.
