SW wykład 6 - Slajd4

<<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

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ść $P$ 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.