# HG changeset patch # User Christian Urban # Date 1477316807 -3600 # Node ID 9ec26df6d28981caaeb25b1678be8788d8adb0b1 # Parent b5e1cfaf33190ef463cefc65ff91d1811e83be1b updated diff -r b5e1cfaf3319 -r 9ec26df6d289 slides/slides05.pdf Binary file slides/slides05.pdf has changed diff -r b5e1cfaf3319 -r 9ec26df6d289 slides/slides05.tex --- a/slides/slides05.tex Mon Oct 24 14:42:54 2016 +0100 +++ b/slides/slides05.tex Mon Oct 24 14:46:47 2016 +0100 @@ -1073,30 +1073,6 @@ \end{frame} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\mode{ -\begin{frame}[c] -\frametitle{\begin{tabular}{c}An Interpreter\end{tabular}} - -\begin{center} -\bl{\begin{tabular}{l} -$\{$\\ -\;\;$x := 5 \text{;}$\\ -\;\;$y := x * 3\text{;}$\\ -\;\;$y := x * 4\text{;}$\\ -\;\;$x := u * 3$\\ -$\}$ -\end{tabular}} -\end{center} - -\begin{itemize} -\item the interpreter has to record the value of \bl{$x$} before assigning a value to \bl{$y$}\pause -\item \bl{\text{eval}(stmt, env)} -\end{itemize} - - -\end{frame}} -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \mode{