SW wykład 5 - Slajd11: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 12: | Linia 12: | ||
Dwa najistotniejsze problemy, z którymi trzeba się uporać | Dwa najistotniejsze problemy, z którymi trzeba się uporać | ||
przedstawiając semantykę takich procedur to problem wiązania | przedstawiając semantykę takich procedur, to problem wiązania | ||
zmiennych i identyfikatorów występujących w ciele procedury oraz | zmiennych i identyfikatorów występujących w ciele procedury oraz | ||
możliwość wywołań rekurencyjnych. | 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.
