Semantik definiert durch...

• Interpretation
  • funktional (CBV, CBN), Fixpunkte
  • imperativ (Speicher)
  • Ablaufsteuerung (Continuations)
• Transformation
  • desugaring (let → lambda)
  • assignment conversion
  • CPS transformation
  • closure passing, lifting

git clone git://dfa.imn.htwk-leipzig.de/var/www/dcpl