Zusammenfassung bisher

allgemein:

• Value (Werte): Zahl, Proc, ...
• Comp (Rechnung): Resultat der Semantik-Funktionen
• Nameable: kann benannt werden, steht in Umgebungen

  beachte: Value = ...VProc (Nameable → Comp)

nebenwirkungsfreie (deklarative) Sprachen:

• Comp = (Value∪Error)_$\bot$ ...(OK, Fehler, Divergenz)

call-by-value: Nameable = Value

call-by-name: Nameable = Comp

später: Nebenwirkungen: Comp = State → (Value,State)