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 Anweisungssequenz:<br />
S«S 1 ; S 2 ¬ = S«S 2 ¬ ◦ S«S 1 ¬<br />
Dabei ist die Funktionsverkettung definiert als:<br />
(f ◦ g) s =<br />
f(g s) wenn g s ≠ undef und f(g s) ≠ undef<br />
undef sonst<br />
12<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner