equal
deleted
inserted
replaced
1071 \end{itemize} |
1071 \end{itemize} |
1072 |
1072 |
1073 \end{frame} |
1073 \end{frame} |
1074 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1074 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1075 |
1075 |
1076 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1077 \mode<presentation>{ |
|
1078 \begin{frame}[c] |
|
1079 \frametitle{\begin{tabular}{c}An Interpreter\end{tabular}} |
|
1080 |
|
1081 \begin{center} |
|
1082 \bl{\begin{tabular}{l} |
|
1083 $\{$\\ |
|
1084 \;\;$x := 5 \text{;}$\\ |
|
1085 \;\;$y := x * 3\text{;}$\\ |
|
1086 \;\;$y := x * 4\text{;}$\\ |
|
1087 \;\;$x := u * 3$\\ |
|
1088 $\}$ |
|
1089 \end{tabular}} |
|
1090 \end{center} |
|
1091 |
|
1092 \begin{itemize} |
|
1093 \item the interpreter has to record the value of \bl{$x$} before assigning a value to \bl{$y$}\pause |
|
1094 \item \bl{\text{eval}(stmt, env)} |
|
1095 \end{itemize} |
|
1096 |
|
1097 |
|
1098 \end{frame}} |
|
1099 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1100 |
1076 |
1101 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1077 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1102 \mode<presentation>{ |
1078 \mode<presentation>{ |
1103 \begin{frame}[c] |
1079 \begin{frame}[c] |
1104 \frametitle{\begin{tabular}{c}Interpreter\end{tabular}} |
1080 \frametitle{\begin{tabular}{c}Interpreter\end{tabular}} |