Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Direct Style Denotational Semantics<br />
• <strong>Semantik</strong> der arithmetischen und Booleschen<br />
Ausdrücke:<br />
– wie bei der operationalen <strong>Semantik</strong><br />
• <strong>Semantik</strong> der Zuweisung:<br />
– S«x:=a¬s = s[xaA«a¬s]<br />
– wenn S«x:=a¬ = s´, dann ist s´ x = A«a¬s und s´ y = s y für y ≠ x<br />
• <strong>Semantik</strong> der Skip-Anweisung: S«skip¬ = id<br />
– id: Identitätsfunktion<br />
– drückt aus, dass keine Zustandsänderung passiert<br />
– S« skip¬ s = s für alle Zustände s<br />
10<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner