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\,\,|\,\,\ldots$

$x\,::=\,\,\ldots \,(identyfikatory)\,\ldots$

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

$b\,::=\,\,e_{1}=e_{2}\,\,|\,\,\mathbf {not} \,b\,\,|\,\,b_{1}\,\mathbf {or} \,b_{2}$

Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle i \, ::= \,\, x := e \,\,|\,\, i_1; i_2 \,\,|\,\, \mathbf{if}\, b \,\mathbf{then}\, i_1 \,\mathbf{else}\, i_2 \,\,|\,\, \mathbf{skip} \,\,|\,\, \mathbf{while}\, b \,\mathbf{do}\, 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\,::=\ldots \,\,-1,\,\,0\,\,|\,\,1\,\,|\,\,\ldots$

$x\,::=\,\,\ldots \,(identyfikatory)\,\ldots$

Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle l \, ::= \,\, x \,\,|\,\, x [e] \,\,|\,\} ,

$e\,::=\,\,n\,\,|\,\,l\,\,|\,\,e_{1}+e_{2}\,\,|\,\,b\,?\,e_{2}\,:\,e_{3}\,\,|\,\,l++\,\,|\,\,++l\,\,|\,\,l=e\,\,|\,\,l+=e\,\,|\,\,\mathbf {call} \,F(e)$

$i\,::=\,\,e\,\,|\,\,i_{1};i_{2}\,\,|\,\,\mathbf {if} \,(e)\,i\,\,|\,\,\mathbf {skip} \,\,|\,\,\mathbf {while} \,(e)\,i\,\,|\,\,\mathbf {for} \,(i_{1};e;i_{2})\,i_{3}\,\,|\,\,\mathbf {break} \,\,|\,\,\mathbf {continue} \,\,|\,\,\mathbf {return} \,e\,\,|\,\,\{d;i\}$

$d\,::=\,\,\mathbf {var} \,x\,\,|\,\,\mathbf {array} \,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.