- continuation passing (Programmablauf explizit)
- closure conversion (alle Umgebungen explizit)
- lifting (alle Unterprogramme global)
- Registervergabe (alle Argumente in Registern)
  
Ziel: maschinen(nahes) Programm mit
 
- globalen (Register-)Variablen  (keine lokalen)
- Sprüngen (kein return)
- automatischer Speicherbereinigung
Johannes Waldmann
2013-01-31