SW wykład 2 - Slajd5: Różnice pomiędzy wersjami
Nie podano opisu zmian |
mNie podano opisu zmian |
||
| (Nie pokazano 2 wersji utworzonych przez 2 użytkowników) | |||
| Linia 1: | Linia 1: | ||
{{Szablon:Semantyka i weryfikacja programów/Wykład 2}} | |||
[[Grafika:sw0204.png|frame|center|]] | [[Grafika:sw0204.png|frame|center|]] | ||
Kolejne metody definiowania semantyki języków programowania | |||
przedstawiać będziemy posługując się prościutkim przykładem | |||
mini-języka TINY, obejmującego proste instrukcje iteracyjne, budowane z | |||
instrukcji przypisania zmiennym wartości wyrażeń arytmetycznych. | |||
Zaczniemy od przedstawienia poszczególnych kategorii składniowych | |||
języka. | |||
Aktualna wersja na dzień 11:09, 22 sie 2006
Składnia Składnia konkretna Składnia abstrakcyjna Przyjmowane założenia Przykład wiodący Kategorie składniowe Kategorie składniowe, c.d. Uwagi Indukcja strukturalna Definicje indukcyjne Kategorie semantyczne Wartościowanie zmiennych Semantyka wyrażeń Semantyka wyrażeń logicznych Semantyka instrukcji Prosty fakt Dowód Przezroczystość odwołań Semantyka operacyjna Obliczenia Semantyka operacyjna Tiny Własności Własności, c.d. Warianty definicji
Kolejne metody definiowania semantyki języków programowania przedstawiać będziemy posługując się prościutkim przykładem mini-języka TINY, obejmującego proste instrukcje iteracyjne, budowane z instrukcji przypisania zmiennym wartości wyrażeń arytmetycznych. Zaczniemy od przedstawienia poszczególnych kategorii składniowych języka.
