\begin{slide}{Veränderliche Variablen}

(bis jetzt sind unsere \glqq Variablen\grqq\ konstant
und nur die Zellen veränderlich.)

neue Syntax \verb|(set! I E)|, I \dots Identifier, E \dots Exp

\bigskip

erfordert Änderung in der Semantik:
bisher:
  Nameable $=$ Value,
jetzt:
  Nameable $=$ Location

\bigskip

Realisierung von (Name $\to$ Wert)
durch \emph{zwei} Bindungen:
\begin{itemize}
\item (in Umgebung:) Name $\to$ Location 
\item (im Speicher:) Location $\to$ Value
\end{itemize}

Ausblick:
\begin{itemize} \itemsep 1pt
\item CBV, CBN, CBReference
\item Übersetzung: veränd. Var $\to$ veränd. Zellen
\end{itemize}

\end{slide}
