Stop-and-copy (Invariante)

fromspace, tospace : array [ 0 ...N ] of cell

Variablen: 0≤scan≤free≤N

einige Zellen im fromspace enthalten Weiterleitung (= Adresse im tospace)

Invarianten:



Johannes Waldmann 2012-01-30