Pointer Reversal (Invariante)

ursprünglicher Graph G0, aktueller Graph G:

Knoten (cons) mit zwei Kindern (head, tail), markiert mit

globale Variablen p (parent), c (current).

Invariante: man erhält G0 aus G, wenn man



Johannes Waldmann 2012-01-30