SW wykład 5 - Slajd16
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.
Przejdźmy teraz do semantyki rozszerzenia języka TINY o procedury bezparametrowe, ale przy wiązaniu statycznym.
Dziedzinę środowisk procedur określamy podobnie, jak poprzednio --- ale już dla innej dziedziny znaczeń procedur. Mianowicie, znaczenia te są tu istotnie prostsze niż w przypadku wiązania dynamicznego: są to funkcje ze składów w składy (plus sygnał błędu). Nie musimy tu już bowiem w znaczeniach procedur uwzględniać zależności od środowisk zmiennych i procedur, określanych w momencie deklaracji procedury.
Semantyka instrukcji, podobnie jak poprzednio, uwzględnia dodatkowo przekazywanie środowisk procedur. Semantyka deklaracji procedur jest jednak inna niż dla wiązania dynamicznego: dla określenia zmodyfikowanego środowiska procedur, niezbędne jest też środowisko zmiennych.
