Semantyka i weryfikacja programów/Ćwiczenia 11

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Semantyka w pełni kontynuacyjna

Zadanie 1

Zdefiniuj kontynuacyjną semantykę następującego języka:

Wyrażenie to wyrażenie warunkowe. Wylicza się go wyliczając najpierw . Jeśli wyliczy się ono do prawdy, to wartością całego wyrażenia jest wartość wyrażenia , a w przeciwnym razie wartość wyrażenia .

Zadanie 2

Tym razem większy przykład. Spróbujemy zdefiniować semantykę języka wzorowanego "nieco" na języku programowania C. Oto składnia:

Zadanie 3

Zmień semantykę powyższego języka tak, aby przekazywanie parametrów odbywało się przez nazwę.

Zadanie 4

Zmień semantykę powyższego języka tak, aby przekazywanie parametrów odbywało się metodą copy-in copy-out.