Semantyka i weryfikacja programów/Ćwiczenia 11

Semantyka w pełni kontynuacyjna

Zadanie 1

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

$n : : = 0 | 1 | \dots$

$x : : = \dots (i d e n t y f i k a t o r y) \dots$

$e : : = n | x | e_{1} + e_{2} | b ? e_{2} : e_{3}$

$b : : = e_{1} = e_{2} | 𝐧 𝐨 𝐭 b | b_{1} 𝐨 𝐫 b_{2}$

$i : : = x : = e | i_{1}; i_{2} | 𝐢 𝐟 b 𝐭 𝐡 𝐞 𝐧 i_{1} 𝐞 𝐥 𝐬 𝐞 i_{2} | 𝐬 𝐤 𝐢 𝐩 | 𝐰 𝐡 𝐢 𝐥 𝐞 b 𝐝 𝐨 i |$

Wyrażenie $b ? e_{1} : e_{2}$ to wyrażenie warunkowe. Wylicza się go wyliczając najpierw $b$ . Jeśli wyliczy się ono do prawdy, to wartością całego wyrażenia jest wartość wyrażenia $e_{1}$ , a w przeciwnym razie wartość wyrażenia $e_{2}$ .

Zadanie 2

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

$n : : = \dots - 1, 0 | 1 | \dots$

$x : : = \dots (i d e n t y f i k a t o r y) \dots$

$l : : = x | x [e] |$

$e : : = n | l | e_{1} + e_{2} | b ? e_{2} : e_{3} | l + + | + + l | l = e | l + = e | 𝐜 𝐚 𝐥 𝐥 F (e)$

$i : : = e | i_{1}; i_{2} | 𝐢 𝐟 (e) i | 𝐬 𝐤 𝐢 𝐩 | 𝐰 𝐡 𝐢 𝐥 𝐞 (e) i | 𝐟 𝐨 𝐫 (i_{1}; e; i_{2}) i_{3} | 𝐛 𝐫 𝐞 𝐚 𝐤 | 𝐜 𝐨 𝐧 𝐭 𝐢 𝐧 𝐮 𝐞 | 𝐫 𝐞 𝐭 𝐮 𝐫 𝐧 e | {d; i}$

$d : : = 𝐯 𝐚 𝐫 x | 𝐚 𝐫 𝐫 𝐚 𝐲 x [e] | d_{1}; d_{2}$

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.

Semantyka i weryfikacja programów/Ćwiczenia 11

Spis treści

Semantyka w pełni kontynuacyjna

Zadanie 1

Zadanie 2

Zadanie 3

Zadanie 4

Menu nawigacyjne

Działania na stronie

Opcje strony

Narzędzia osobiste

Nawigacja

Szukaj

Narzędzia