Pointer Reversal (Invariante)

ursprünglicher Graph G0 mathend000#, aktueller Graph G mathend000#:

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

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

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



Johannes Waldmann 2014-03-31