Transformationen

• continuation passing (Programmablauf explizit)
• closure conversion (Umgebungen explizit)
• lifting
• Registervergabe

Ziel: maschinen(nahes) Programm mit

• globalen (Register-)Variablen (keine lokalen)
• Sprüngen (kein return)