Spezifikation

(lambda) lifting:

Motivation: in Maschinencode gibt es nur globale Sprungziele

(CPS-Transformation: Unterprogramme kehren nie zurück mathend000# globale Sprünge)



Johannes Waldmann 2014-03-31