Semantik

• dynamische (Programmausführung)
  • Interpretation
    • funktional, • imperativ (Speicher)
    • Ablaufsteuerung (Continuations)
  • Transformation (Kompilation)
    • CPS transformation
    • closure passing, lifting, • Registerzuweisung
• statische: Typisierung (Programmanalyse)
  • monomorph/polymorph
  • deklariert/rekonstruiert