SW wykład 4 - Slajd16

<<powrót do strony wykładu

Semantyka denotacyjna Dziedziny składniowe i semantyczne Funkcje semantyczne Kompozycjonalność Tiny. Semantyka denotacyjna Tiny. Semantyka denotacyjna, c.d. Pojęcia pomocnicze Pojęcia pomocnicze, c.d. |Tiny. Semantyka denotacyjna, c.d. Tiny. Semantyka denotacyjna, c.d. Problem z while Konstrukcje stałopunktowe Konstrukcje stałopunktowe, c.d. Konstrukcje stałopunktowe, c.d. Przykład Przykład, c.d. Dowód Dowód Zgodność semantyki denotacyjnej

I jeszcze raz ten przykład, tym razem ilustrowany nieco bardziej rozbudowaną tabelą, podającą także wyniki kolejnych iteracji operatora na funkcji pustej dla stanów "pośrednich" (pojawiających się po kolejnych wykonaniach ciała pętli). Wnioski i uwagi --- jak do poprzedniej tabeli.