Denotationale Semantik (II)

Semantik von lokalen Unterprogrammen hängt ab von weiter außen gebundenen Variablen.

zutreffendes Modell ist deswegen:

• Semantik :: Exp × Env → Value
• Exp ...Menge der Ausdrücke
• Value ...Menge der Werte
• Umgebungen Env :: Var → Value
• Var ...Menge der Variablen

(Vorsicht, das ist teilw. vereinfacht, Verallgemeinerung folgt)