SW wykład 6 - Slajd3: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| (Nie pokazano 1 wersji utworzonej przez jednego użytkownika) | |||
| Linia 1: | Linia 1: | ||
{{Semantyka i weryfikacja programów/Wykład 6}} | |||
[[Grafika:sw0602.png|center|frame]] | [[Grafika:sw0602.png|center|frame]] | ||
Funkcje semantyczne pozostają w gruncie rzeczy podobne, jak poprzednio | |||
(dla języka TINY z procedurami bezparametrowymi przy wiązaniu | |||
statycznym). Oczywiście, zmianie uległa definicja dziedziny środowisk | |||
procedur, a za chwilę rozszerzać będziemy listę klauzul semantycznych | |||
dla tych funkcji na nowe konstrukcje deklaracji i wywołań procedur | |||
jednoparametrowych. | |||
Aktualna wersja na dzień 11:59, 28 wrz 2006
Parametry Semantyka procedur Semantyka procedur, c.d. Semantyka procedur bezparametrowych Przekazywanie przez zmienną Przekazywanie przez wartość Przekazywanie przez nazwę Wejście/wyjście Semantyka wejścia/wyjścia Semantyka wejścia/wyjścia, c.d. Semantyka wejścia/wyjścia, c.d. Programy Problem Nowe podejście Kontynuacje
Funkcje semantyczne pozostają w gruncie rzeczy podobne, jak poprzednio (dla języka TINY z procedurami bezparametrowymi przy wiązaniu statycznym). Oczywiście, zmianie uległa definicja dziedziny środowisk procedur, a za chwilę rozszerzać będziemy listę klauzul semantycznych dla tych funkcji na nowe konstrukcje deklaracji i wywołań procedur jednoparametrowych.
