\begin{slide}{Zusammenfassung bisher}

allgemein:
  \begin{itemize}\itemsep 0pt
  \item Value (Werte): Zahl, Proc, \dots
  \item Comp (Rechnung): 
    Resultat der Semantik-Funktionen
  \item Nameable: kann benannt werden, 
    steht in Umgebungen

    beachte: Value $=$ \dots VProc (Nameable $\to$ Comp)
  \end{itemize}

nebenwirkungsfreie (deklarative) Sprachen:
\begin{itemize}
\item Comp = $(\text{Value} \cup \text{Error})_{\bot}$
 \dots  (OK, Fehler, Divergenz)
\end{itemize}

call-by-value: Nameable = Value

call-by-name: Nameable = Comp

\bigskip

später: Nebenwirkungen: 
Comp $=$ State $\to$ (Value,State)

\end{slide}
