SW wykład 6 - Slajd4: 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}} | |||
[[Grafika:sw0603.png|center|frame]] | [[Grafika:sw0603.png|center|frame]] | ||
Klauzule dla wywołania i deklaracji procedury bezparametrowej nie | |||
ulegają zmianie. Zauważmy tylko, że po to, by klauzula dla wywołania | |||
procedury bezparametrowej była dobrze określona, wartość | |||
<math>P</math> przypisana identyfikatorowi wywoływanej procedury w | |||
środowisku musi być znaczeniem procedury bezparametrowej --- jeśli tak | |||
nie jest, występuje błąd i wartością znaczenia tej instrukcji | |||
wywołania procedury dla takich argumentów jest sygnał błędu. | |||
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
Klauzule dla wywołania i deklaracji procedury bezparametrowej nie ulegają zmianie. Zauważmy tylko, że po to, by klauzula dla wywołania procedury bezparametrowej była dobrze określona, wartość przypisana identyfikatorowi wywoływanej procedury w środowisku musi być znaczeniem procedury bezparametrowej --- jeśli tak nie jest, występuje błąd i wartością znaczenia tej instrukcji wywołania procedury dla takich argumentów jest sygnał błędu.
