SW wykład 5 - Slajd16: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 5: | Linia 5: | ||
bezparametrowe, ale przy wiązaniu statycznym. | bezparametrowe, ale przy wiązaniu statycznym. | ||
Dziedzinę środowisk procedur określamy podobnie | Dziedzinę środowisk procedur określamy podobnie jak poprzednio --- | ||
ale już dla innej dziedziny znaczeń procedur. Mianowicie, znaczenia te | ale już dla innej dziedziny znaczeń procedur. Mianowicie, znaczenia te | ||
są tu istotnie prostsze niż w przypadku wiązania dynamicznego: są to | są tu istotnie prostsze niż w przypadku wiązania dynamicznego: są to | ||
| Linia 15: | Linia 15: | ||
przekazywanie środowisk procedur. Semantyka deklaracji procedur jest | przekazywanie środowisk procedur. Semantyka deklaracji procedur jest | ||
jednak inna niż dla wiązania dynamicznego: dla określenia | jednak inna niż dla wiązania dynamicznego: dla określenia | ||
zmodyfikowanego środowiska procedur | zmodyfikowanego środowiska procedur niezbędne jest też środowisko | ||
zmiennych. | zmiennych. | ||
Aktualna wersja na dzień 14:29, 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.
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.
