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.
Anforderungen an Fixpunkte<br />
• Definiere Anforderungen, so dass<br />
– höchstens ein solcher Fixpunkt existiert und dass<br />
– alle Funktionale, die von While-Anweisungen stammen, auch<br />
tatsächlich einen Fixpunkt haben<br />
• Motivation: Betrachte mögliche Ergebnisse von<br />
While-Schleifen<br />
– A: Schleife terminiert<br />
– B: Schleife terminiert lokal nicht<br />
(Konstrukt im Schleifenrumpf terminiert nicht)<br />
– C: Schleife terminiert global nicht<br />
(äußeres While-Konstrukt terminiert nicht)<br />
20<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner