\begin{slide}{Andere Semantiken?}

Beispiel:
\begin{verbatim}
(prim / 1 0) ==> (error divide-by-zero)
(app (lam x 3) (prim / 1 0)) =?=> 3 
\end{verbatim}

Umgebung speichert für Namen ($x$):  
\begin{itemize}
\item call-by-value:

  \emph{Wert}  des Arguments
\item call-by-name:

  \emph{Rechnung}, die diesen Wert ergibt
\end{itemize}

\end{slide}

\begin{slide}{Call-by-name}

Semantik von Applikation \verb|(app f a)|
in Umgebung $e$
\begin{itemize}
\item Sem. von $f$ in $e$ ist \verb|VProc p :: Value|
\item wende $p$ an auf Sem. von $a$ in $e$
\end{itemize}

Semantik von Abstraktion \verb|(lam i b)| 
in Umgebung e
\begin{itemize}
\item ist Funktion $\lambda x.$ \dots
\item Semantik von $b$ in $e[i/x]$
\end{itemize}

\end{slide}

