SW wykład 7 - Slajd9
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"
Została już tylko klauzula dla instrukcji bloku.
Instrukcja bloku: w danym środowisku zmiennych i środowisku procedur, przy danej kontynuacji ("za" blokiem), elaborujemy deklaracje zmiennych lokalnych tego bloku w danym środowisku zmiennych, a wynikowe środowisko zmiennych przekazujemy do kontynuacji dla deklaracji zmiennych, która elaboruje deklaracje procedur tego bloku w otrzymanym środowisku zmiennych i danym dla bloku środowisku procedur. Wynikowe środowisko procedur przekazujemy do kontynuacji dla deklaracji procedur, która wykonuje instrukcję ciała bloku w środowisku zmiennych (otrzymanym z elaboracji deklaracji zmiennych w tym bloku) i w środowisku procedur (otrzymanym z elaboracji deklaracji procedur w tym bloku) przy danej dla bloku kontynuacji.
Powyższa prezentacja kontynuacyjnej semantyki rozszerzonego języka TINY, choć naszym zdaniem zgrabna i czytelna, nie pokazuje jednak jeszcze całej "mocy", którą oferują techniki kontynuacyjnego opisu semantyki. Tak naprawdę widać to dopiero przy opisie złożonych struktur przepływu sterowania, gdzie możemy chcieć (czy musieć) opisywać czasem bardzo niestrukturalne sposoby zmiany sterowania w programach. Pokażemy to tutaj szkicując kontynuacyjną semantyką skoków.
