slides/slides05.tex
changeset 466 97232962afbb
parent 465 1ba84dcde21d
child 500 91b888c91d73
equal deleted inserted replaced
465:1ba84dcde21d 466:97232962afbb
  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}}