SW wykład 6 - Slajd10
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 dla wyrażeń arytmetycznych i logicznych określać teraz będą wartość wyrażenia (liczbową lub logiczną, odpowiednio, lub błąd) dla danego środowiska zmiennych i dla danego stanu. Jednak niemal wszystkie klauzule semantyczne dla tych funkcji pozostają takie, jak dotychczas, wykorzystując stany dokładnie tak, jak dotychczas wykorzystywały składy. Dla wszystkich konstrukcji wyrażeń poza zmiennymi polega to bowiem tylko na przekazywaniu stanu (wcześniej: składu) do podwyrażeń. Zmiany wymaga więc tylko klauzula dla zmiennych, która teraz dla odczytania zawartości lokacji przypisanej danej zmiennej w środowisku musi sięgnąć w głąb stanu, do zawartego w nim składu.
