Nächste Seite: Denotationale Semantik Aufwärts: Semantik von Programmiersprachen Vorherige Seite: Dynamische Semantik
Schleife
while (B) A
wird übersetzt in Sprungbefehle
if (B) ...(vervollständige!)
Aufgabe: übersetze for(A; B; C) D in while!