SW wykład 6 - Slajd14: Różnice pomiędzy wersjami
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}} | {{Semantyka i weryfikacja programów/Wykład 6}} | ||
[[Grafika:sw0613.png|center|frame]] | [[Grafika:sw0613.png|center|frame]] | ||
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. | |||
Aktualna wersja na dzień 15:40, 29 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
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.
