SW wykład 7 - Slajd10: 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:sw0709.png|center|frame]] | [[Grafika:sw0709.png|center|frame]] | ||
Rozszerzamy składnię języka TINY, dodając nową kategorię składnioową | |||
etykiet (nie będziemy ich tu dokładnie definiować; mogą to być na | |||
przykład znów identyfikatory, lub stałe liczbowe, lub jeszcze inne | |||
dobrze zdefiniowane napisy) oraz rozszerzając składnię instrukcji o | |||
instrukcje etykietowane i o skoki do takich etykietowanych instrukcji. | |||
Nieformalnie, semantyka tego rozszerzenia powinna być | |||
jasna. Przyjmujemy, że etykiety są widoczne wewnątrz bloku, w którym | |||
występują, co nie zezwala na skoki do wnętrza bloku z zewnątrz, ale | |||
pozwala na skoki do wnętrz pętli, czy do gałęzi instrukcji warunkowych | |||
w danym bloku, a także skoki na zewnątrz danego bloku (do zewnętrznych | |||
etykiet widocznych w jego wnętrzu). | |||
Wersja z 13:10, 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"
Rozszerzamy składnię języka TINY, dodając nową kategorię składnioową etykiet (nie będziemy ich tu dokładnie definiować; mogą to być na przykład znów identyfikatory, lub stałe liczbowe, lub jeszcze inne dobrze zdefiniowane napisy) oraz rozszerzając składnię instrukcji o instrukcje etykietowane i o skoki do takich etykietowanych instrukcji.
Nieformalnie, semantyka tego rozszerzenia powinna być jasna. Przyjmujemy, że etykiety są widoczne wewnątrz bloku, w którym występują, co nie zezwala na skoki do wnętrza bloku z zewnątrz, ale pozwala na skoki do wnętrz pętli, czy do gałęzi instrukcji warunkowych w danym bloku, a także skoki na zewnątrz danego bloku (do zewnętrznych etykiet widocznych w jego wnętrzu).
