SW wykład 7 - Slajd10: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| (Nie pokazano 2 wersji utworzonych przez 2 użytkowników) | |||
| Linia 1: | Linia 1: | ||
{{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ładniową | |||
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). | |||
Aktualna wersja na dzień 15:53, 29 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ładniową 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).
