SW wykład 2 - Slajd15: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 11: | Linia 11: | ||
Różne metody definiowania semantyki programów ilustrować będziemy | Różne metody definiowania semantyki programów ilustrować będziemy | ||
podając kolejno istotnie różne opisy semantyki dla instrukcji naszego | podając kolejno istotnie różne opisy semantyki dla instrukcji naszego | ||
przykładowego języka. W opisach tych będziemy odwoływać | przykładowego języka. W opisach tych będziemy odwoływać się do | ||
zdefiniowanych wyżej znaczeń wyrażeń arytmetycznych i logicznych, | zdefiniowanych wyżej znaczeń wyrażeń arytmetycznych i logicznych, | ||
zakładając, że są one już zadane i nie przywiązując wagi do sposobu | zakładając, że są one już zadane i nie przywiązując wagi do sposobu | ||
Aktualna wersja na dzień 11:01, 27 wrz 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
Wbrew tytułowi niniejszego modułu, poprzednio podane definicje semantyki wyrażeń arytmetycznych i logicznych nie są ilustracjami dla operacyjnej metody opisu semantyki (jest to opis bardziej w stylu denotacyjnym, patrz dalszy moduł tych zajęć). A to dlatego, że potraktujemy je tutaj tylko jako definicje pomocnicze, które mogły być zadane w dowolny w zasadzie sposób.
Różne metody definiowania semantyki programów ilustrować będziemy podając kolejno istotnie różne opisy semantyki dla instrukcji naszego przykładowego języka. W opisach tych będziemy odwoływać się do zdefiniowanych wyżej znaczeń wyrażeń arytmetycznych i logicznych, zakładając, że są one już zadane i nie przywiązując wagi do sposobu ich definicji.
Oczywiście, jako dobre ćwiczenie, gorąco polecamy podanie (może po zakończeniu przeglądania tego modułu zajęć) semantyki operacyjnej dla wyrażeń arytmetycznych i logicznych.
