SW wykład 5 - Slajd11
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.
