SW wykład 5 - Slajd11: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| (Nie pokazano 1 wersji utworzonej przez jednego użytkownika) | |||
| Linia 1: | Linia 1: | ||
{{Semantyka i weryfikacja programów/Wykład 5}} | {{Semantyka i weryfikacja programów/Wykład 5}} | ||
[[Grafika:sw0510.png|center|frame]] | [[Grafika:sw0510.png|center|frame]] | ||
Kolejne rozszerzenie języka TINY, które chcemy tu omówić, to dodanie | |||
procedur, na razie w wersji bezparametrowej. Odpowiednie rozszerzenie | |||
składni jest oczywiste. W blokach, prócz deklaracji zmiennych, | |||
wprowadzamy deklaracje procedur. Deklaracja procedury podaje jej nazwę | |||
(identyfikator) i ciało, które jest dowolną instrukcją. W końcu (czy | |||
raczej, na tym slajdzie, na początku) do konstrukcji budujących | |||
instrukcje języka TINY dodajemy instrukcję wywołania procedury | |||
bezparametrowej. | |||
Dwa najistotniejsze problemy, z którymi trzeba się uporać | |||
przedstawiając semantykę takich procedur, to problem wiązania | |||
zmiennych i identyfikatorów występujących w ciele procedury oraz | |||
możliwość wywołań rekurencyjnych. | |||
Aktualna wersja na dzień 14:14, 29 wrz 2006
Bloki i deklaracje Lokacje Funkcje semantyczne Konwencje notacyjne Instrukcje Klauzule semantyczne Klauzule semantyczne, c.d. Deklaracje Deklaracje, c.d. Semantyka bloków Procedury Wiązania zmiennych Semantyka Tiny++ Semantyka Tiny++ Rekurencja Semantyka procedur rek. Semantyka procedur rek.
Kolejne rozszerzenie języka TINY, które chcemy tu omówić, to dodanie procedur, na razie w wersji bezparametrowej. Odpowiednie rozszerzenie składni jest oczywiste. W blokach, prócz deklaracji zmiennych, wprowadzamy deklaracje procedur. Deklaracja procedury podaje jej nazwę (identyfikator) i ciało, które jest dowolną instrukcją. W końcu (czy raczej, na tym slajdzie, na początku) do konstrukcji budujących instrukcje języka TINY dodajemy instrukcję wywołania procedury bezparametrowej.
Dwa najistotniejsze problemy, z którymi trzeba się uporać przedstawiając semantykę takich procedur, to problem wiązania zmiennych i identyfikatorów występujących w ciele procedury oraz możliwość wywołań rekurencyjnych.
