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.
<strong>Denotationelle</strong> <strong>Semantik</strong> für While<br />
(Zusammenfassung direct style)<br />
S«x:=a¬s = s[xa A«a¬s]<br />
S«skip¬ = id<br />
S«S 1 ; S 2 ¬ = S«S 2 ¬ ◦ S«S 1 ¬<br />
S«if b then S 1 else S 2 ¬ = cond(B«b¬, S«S 1 ¬, S«S 2 ¬)<br />
S«while b do S¬ = FIX F<br />
where F g = cond(B«b¬, g ◦ S«S¬ , id)<br />
16<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner