Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
WENIGER ANZEIGEN
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Direct Style Denotational Semantics<br />
<strong>Semantik</strong> der bedingten Anweisung:<br />
S«if b then S 1 else S 2 ¬ = cond(B« b¬, S«S 1 ¬, S«S 2 ¬)<br />
Dabei ist cond folgendermaßen definiert:<br />
cond(p,g 1 ,g 2 ) s =<br />
g 1 s wenn p s = tt und g 1 s ≠ undef<br />
g 2 s wenn p s = ff und g 2 s ≠ undef<br />
undef sonst<br />
11<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner
Change language