Spezifikation

closure conversion:

geschlossen: alle Variablen sind lokal


Ansatz:



Johannes Waldmann 2012-01-30