SW wykład 7 - Slajd3
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.
