SW wykład 7 - Slajd3: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
{{Semantyka i weryfikacja programów/Wykład 7}} | {{Semantyka i weryfikacja programów/Wykład 7}} | ||
[[Grafika:sw0702.png|center|frame]] | [[Grafika:sw0702.png|center|frame]] | ||
Dla przypomnienia, przytaczamy tu w całości składnię języka TINY ze | |||
wszelkimi dotychczasowymi rozszerzeniami: z główną kategorią | |||
składniową programów i z instrukcjami obejmującymi bloki z | |||
deklaracjami zmiennych i procedur (bez- i jednoparametrowych, dla | |||
zwartości ograniczonych tylko do parametrów przekazywanych przez | |||
zmienną --- ale nadal rozpatrywane jedynie ze statycznym wiązaniem | |||
zmiennych i identyfikatorów procedur w ciałach procedur) i instrukcje | |||
wejścia/wyjścia. | |||
Poniżej naszkicujemy denotacyjną semantykę kontynuacyjną tego | |||
języka. | |||
Jak poprzednio, zostawiamy Państwu rozszerzenie tego języka o | |||
procedury wieloparametrowe z innymi trybami przekazywania parametrów, | |||
i powtórzenie całej analizy i opisu semantyki poniżej dla wersji | |||
języka z wiązaniem dynamicznym. | |||
Aktualna wersja na dzień 13:07, 28 wrz 2006
Kontynuacje Kontynuacje wyrażeń i deklaracji Tiny+++ Dziedziny semantyczne Funkcje semantyczne Przykłady klauzul [[SW_wykład_7_-_Slajd7|Przykłady klauzul, c.d.] Instrukcje Bloki Skoki Semantyka skoków Semantyka skoków, c.d. Semantyka skoków, c.d. Semantyka skoków, c.d. Semantyka "standardowa"
Dla przypomnienia, przytaczamy tu w całości składnię języka TINY ze wszelkimi dotychczasowymi rozszerzeniami: z główną kategorią składniową programów i z instrukcjami obejmującymi bloki z deklaracjami zmiennych i procedur (bez- i jednoparametrowych, dla zwartości ograniczonych tylko do parametrów przekazywanych przez zmienną --- ale nadal rozpatrywane jedynie ze statycznym wiązaniem zmiennych i identyfikatorów procedur w ciałach procedur) i instrukcje wejścia/wyjścia.
Poniżej naszkicujemy denotacyjną semantykę kontynuacyjną tego języka.
Jak poprzednio, zostawiamy Państwu rozszerzenie tego języka o procedury wieloparametrowe z innymi trybami przekazywania parametrów, i powtórzenie całej analizy i opisu semantyki poniżej dla wersji języka z wiązaniem dynamicznym.
