Spezifikation

closure conversion:

geschlossen: alle Variablen sind lokal


Ansatz:



2010-10-12