Denotationale Semantik (I)

vereinfachtes Modell, damit Eigenschaften entscheidbar werden (sind die Programme P₁, P₂ mathend000# äquivalent?)

Syntax: Programme

• Aktionen,
• Zustandsprädikate (in Tests)
• Sequenz/Block, if, goto/while.

Beispiel:

while (B && !C) { P; if (C) Q; }