SW wykład 4 - Slajd16: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
{{Semantyka i weryfikacja programów/Wykład 4}} | {{Semantyka i weryfikacja programów/Wykład 4}} | ||
[[Grafika:sw0415.png|center|frame]] | [[Grafika:sw0415.png|center|frame]] | ||
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. | |||
Aktualna wersja na dzień 10:36, 2 wrz 2006
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.
