SW wykład 5 - Slajd16: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
{{Semantyka i weryfikacja programów/Wykład 5}} | {{Semantyka i weryfikacja programów/Wykład 5}} | ||
[[Grafika:sw0515.png|center|frame]] | [[Grafika:sw0515.png|center|frame]] | ||
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. | |||
Wersja z 21:04, 25 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.
