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.
Zusammenfassung denotationelle<br />
<strong>Semantik</strong><br />
• Definition der direct-style denotationellen<br />
<strong>Semantik</strong><br />
• Diskussion der Frage, ob Fixpunkte<br />
existieren und eindeutig sind<br />
• Diskussion, welche Anforderungen man an<br />
den gewünschten Fixpunkt hat<br />
• Fixpunkttheorie: Fixpunktsatz<br />
• Anwendung auf denotationelle <strong>Semantik</strong>:<br />
Nachweis der Wohldefiniertheit<br />
62<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner