Spezifikation

closure conversion:

geschlossen: alle Variablen sind lokal


Ansatz:



Johannes Waldmann 2011-01-23