SW wykład 6 - Slajd14

<<powrót do strony wykładu

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

Otóż spróbujmy oderwać się od metody opisu semantyki języka i poszczególnych jego fraz polegającej na uchwyceniu tego, co dana fraza "robi", czy też na czym polega istota jej realizacji (wyliczenia wartości wyrażenia, wykonania instrukcji, czy elaboracji deklaracji). Spróbujmy zastąpić taki opis odpowiedzią na pytanie: jak realizacja danej frazy języka wpłynie na końcowy wynik programu.

Miejmy nadzieję, że jeszcze bardziej w ten sposób będziemy mogli oderwać się od bieżących szczegółów realizacyjnych, skupiając się tylko na tym, co najbardziej istotne: na widocznym z zewnątrz programu, widocznym przez użytkownika wyniku.