Denotationale Semantik

Beispiele

• jede Anweisung

  ist eine Funktion von Speicherzustand nach Speicherzustand

• jedes (nebenwirkungsfreie) Unterprogramm

  ist eine Funktion von Argument nach Resultat