\begin{slide}{Semantik für CPS}

Semantik von Ausdruck \verb|x| in Umgebung $E$

ist Funktion von Continuation nach Wert (Action)

\begin{verbatim}
value(E, label L B) = \ k -> 
  value (E[L/k], B) k
value (E, jump L B) = \ k -> 
  value (E, L) $ \ k' ->
  value (E, B) k'
\end{verbatim}
Beispiel 1:
\begin{verbatim}
value (E, label x x) 
  = \ k -> value (E[x/k], x) k
  = \ k -> k k
\end{verbatim}
\newpage
Beispiel 2
\begin{verbatim}
value (E, jump (label x x)(label y y)) 
= \ k ->
  value (E, label x x) $ \ k' -> 
  value (E, label y y) k'
= \ k -> 
  value (E, label y y) (value (E, label x x))
= \ k -> ( \ k0 -> k0 k0 ) ( \ k1 -> k1 k1 )
\end{verbatim}


\end{slide}
