afl-material: comparison slides/slides08.tex

equal deleted inserted replaced

-:31295bb945c6
+:8aa406adfde0
 \usepackage{../langs}
 \usepackage{../data}
 \usepackage{../graphics}
 % beamer stuff
-\renewcommand{\slidecaption}{AFL 09, King's College London}
+\renewcommand{\slidecaption}{AFL 07, King's College London}
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}
 \begin{document}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{center}
 \begin{tikzpicture}
 \node (rexp)  {\bl{\bf Lexer}};
 \node (nfa) [right=of rexp] {\bl{\bf Parser}};
-\node (dfa) [right=of nfa] {\bl{\begin{tabular}{c}\bf Machine Code/\\\bf Byte Code\end{tabular}}};
+\node (dfa) [right=of nfa]
+{\bl{\begin{tabular}{c}\bf Machine Code/\\\bf Java Byte Code\end{tabular}}};
 \path[->, red, line width=2mm] (rexp) edge node [above=4mm, black] {\begin{tabular}{c@{\hspace{9mm}}}token\\[-1mm]
 sequence\end{tabular}} (nfa);
 \path[->, red, line width=2mm] (nfa) edge node [above=4mm, black] {\begin{tabular}{c}parse\\[-1mm] tree\end{tabular}}(dfa);
 \end{tikzpicture}\\
 \end{center}
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[c]
-\frametitle{JVM Code}
+\begin{textblock}{10}(0.5,0.5)
-\footnotesize
+\LARGE
-\mbox{}\\[-20mm]\mbox{}
+\fontspec{Hoefler Text Black}
+\textcolor{ProcessBlue}{JVM\\ Code}
+\end{textblock}
+\fontsize{8}{10}\selectfont
+%\footnotesize
+\mbox{}\\[-8mm]\mbox{}
 \begin{columns}
-\begin{column}{7cm}
+\begin{column}{2cm}
 \lstinputlisting[numbers=none]{../progs/appHa.j}
 \end{column}
-\begin{column}{7cm}
+\begin{column}{2cm}
 \lstinputlisting[numbers=none]{../progs/appHb.j}
 \end{column}
 \end{columns}
 \end{frame}}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
 \begin{frame}[c]
 \frametitle{\begin{tabular}{c}Fibonacci Numbers\end{tabular}}
 \mbox{}\\[-18mm]\mbox{}
 {\lstset{language=While}\fontsize{10}{12}\selectfont
 \texttt{\lstinputlisting{../progs/fib.while}}}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[c]
-\begin{frame}[c]
+\frametitle{Interpreter}
-\frametitle{\begin{tabular}{c}Interpreter\end{tabular}}
 \begin{center}
 \bl{\begin{tabular}{@{}lcl@{}}
 $\text{eval}(n, E)$ & $\dn$ & $n$\\
 $\text{eval}(x, E)$ & $\dn$ & $E(x)$ \;\;\;\textcolor{black}{lookup \bl{$x$} in \bl{$E$}}\\
 $\text{eval}(a_1\,!\!= a_2, E)$ & $\dn$ & $\neg(\text{eval}(a_1, E) = \text{eval}(a_2, E))$\\
 $\text{eval}(a_1 < a_2, E)$ & $\dn$ & $\text{eval}(a_1, E) < \text{eval}(a_2, E)$\
 \end{tabular}}
 \end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[c]
-\begin{frame}[c]
+\frametitle{Interpreter (2)}
-\frametitle{\begin{tabular}{c}Interpreter (2)\end{tabular}}
 \begin{center}
 \bl{\begin{tabular}{@{}lcl@{}}
 $\text{eval}(\text{skip}, E)$ & $\dn$ & $E$\\
 $\text{eval}(x:=a, E)$ & $\dn$ & \bl{$E(x \mapsto \text{eval}(a, E))$}\\
 \multicolumn{3}{@{}l@{}}{\hspace{2cm}$\text{else}\; E$}\\
 $\text{eval}(\text{write}\; x, E)$ & $\dn$ & $\{\;\text{println}(E(x))\; ;\;E\;\}$\\
 \end{tabular}}
 \end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[c]
-\begin{frame}[c]
+\frametitle{Test Program}
-\frametitle{\begin{tabular}{c}Test Program\end{tabular}}
 \mbox{}\\[-18mm]\mbox{}
 {\lstset{language=While}\fontsize{10}{12}\selectfont
 \texttt{\lstinputlisting{../progs/loops.while}}}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[c]
-\tiny
+\fontsize{7}{9}\selectfont
 \begin{columns}
 \begin{column}{7cm}
 \lstinputlisting[numbers=none]{../progs/appHa.j}
 \end{column}
 \begin{column}{7cm}
 \lstinputlisting[numbers=none]{../progs/appHb.j}
 \end{column}
 \end{columns}
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[t]
+\frametitle{Interpreted Code}
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
-\begin{frame}[t]
-\frametitle{\begin{tabular}{c}Interpreted Code\end{tabular}}
 \begin{center}
 \begin{tikzpicture}
 \begin{axis}[axis x line=bottom, axis y line=left, xlabel=n, ylabel=secs, legend style=small]
 \addplot+[smooth] file {interpreted.data};
 \end{axis}
 \end{tikzpicture}
 \end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[c]
-\begin{frame}[c]
+\frametitle{Java Virtual Machine}
-\frametitle{\begin{tabular}{c}Java Virtual Machine\end{tabular}}
 \begin{itemize}
 \item introduced in 1995
 \item is a stack-based VM (like Postscript, CLR of .Net)
 \item contains a JIT compiler
 \item many languages take advantage of JVM's infrastructure (JRE)
 \item is garbage collected $\Rightarrow$ no buffer overflows
 \item some languages compiled to the JVM: Scala, Clojure\ldots
 \end{itemize}
-\end{frame}}
+\end{frame}
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[t]
-\begin{frame}[t]
+\frametitle{Compiling AExps}
-\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
 {\Large\bl{1 + 2}}
 \begin{center}
 \bl{\begin{tabular}{l}
 ldc 1\\
 ldc 2\\
 iadd\\
 \end{tabular}}
-\end{center}\end{frame}}
+\end{center}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[t]
 \end{frame}}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[t]
-\begin{frame}[t]
+\frametitle{Compiling AExps}
-\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
 \begin{center}
 \bl{\begin{tabular}{@{}lcl@{}}
 $\text{compile}(n)$ & $\dn$ & $\text{ldc}\;n$\\
 $\text{compile}(a_1 + a_2)$ & $\dn$\\
 $\text{compile}(a_1 - a_2)$ & $\dn$\\
 \multicolumn{3}{l}{$\qquad\text{compile}(a_1) \;@\; \text{compile}(a_2)\;@\; \text{isub}$}\smallskip\\
 $\text{compile}(a_1 * a_2)$ & $\dn$\\
 \multicolumn{3}{l}{$\qquad\text{compile}(a_1) \;@\; \text{compile}(a_2)\;@\; \text{imul}$}\smallskip\\
 \end{tabular}}
-\end{center}\pause
+\end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[t]
 \end{frame}}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[t]
-\begin{frame}[t]
+\frametitle{Variables}
-\frametitle{\begin{tabular}{c}Variables\end{tabular}}
 {\Large\bl{$x := 5 + y * 2$}}\bigskip\pause
 \begin{itemize}
 \item lookup: \bl{$\text{iload}\; index$}
 \begin{center}
 \bl{$\text{compile}(a, E)$}
 \end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[t]
-\begin{frame}[t]
+\frametitle{Compiling AExps}
-\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
 \begin{center}
 \bl{\begin{tabular}{@{}lcl@{}}
 $\text{compile}(n, E)$ & $\dn$ & $\text{ldc}\;n$\\
 $\text{compile}(a_1 + a_2, E)$ & $\dn$\\
-\multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\;\text{compile}(a_2. E)\;@\; \text{iadd}$}\smallskip\\
+\multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\;\text{compile}(a_2, E)\;@\; \text{iadd}$}\smallskip\\
 $\text{compile}(a_1 - a_2, E)$ & $\dn$\\
 \multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\; \text{compile}(a_2, E)\;@\; \text{isub}$}\smallskip\\
 $\text{compile}(a_1 * a_2, E)$ & $\dn$\\
 \multicolumn{3}{l}{$\qquad\text{compile}(a_1, E) \;@\; \text{compile}(a_2, E)\;@\; \text{imul}$}\bigskip\\
 $\text{compile}(x, E)$ & $\dn$ & $\text{iload}\;E(x)$\\
 \end{tabular}}
-\end{center}\pause
+\end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[c, fragile]
-\begin{frame}[t]
+\frametitle{Mathematical Functions}
-\frametitle{\begin{tabular}{c}Compiling Statements\end{tabular}}
+Compilation of some mathematical functions:
-We return a list of instructions and an environment for the variables
+\begin{center}
+\begin{tabular}{lcl}
+\texttt{Aop("+", a1, a2)} & $\Rightarrow$ & \texttt{...iadd}\\
+\texttt{Aop("-", a1, a2)} & $\Rightarrow$ & \texttt{...isub}\\
+\texttt{Aop("*", a1, a2)} & $\Rightarrow$ & \texttt{...imul}\\
+\texttt{Aop("/", a1, a2)} & $\Rightarrow$ & \texttt{...idiv}\\
+\texttt{Aop("\%", a1, a2)} & $\Rightarrow$ & \texttt{...irem}\\
+\end{tabular}
+\end{center}
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[t]
+\frametitle{Compiling Statements}
+We return a list of instructions and an environment for the
+variables
 \begin{center}
 \bl{\begin{tabular}{@{}l@{\hspace{1mm}}c@{\hspace{1mm}}l@{}}
-$\text{compile}(\text{skip}, E)$ & $\dn$ & $(N\!il, E)$\bigskip\\
+$\text{compile}(\text{skip}, E)$ & $\dn$ & $(\textit{Nil}, E)$\bigskip\\
 $\text{compile}(x := a, E)$ & $\dn$\\
 \multicolumn{3}{l}{$(\text{compile}(a, E) \;@\;\text{istore}\;index, E(x\mapsto index))$}\\
 \end{tabular}}
 \end{center}\medskip
-where \bl{$index$} is \bl{$E(x)$} if it is already defined, or if it is not then the largest index not yet seen
+where \bl{$index$} is \bl{$E(x)$} if it is already defined,
+or if it is not, then the largest index not yet seen
-\end{frame}}
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\begin{frame}[t]
+\begin{frame}[c]
-\frametitle{\begin{tabular}{c}Compiling AExps\end{tabular}}
+\frametitle{Compiling Assignments}
 {\Large\bl{$x := x + 1$}}
 \begin{center}
 \bl{\begin{tabular}{l}
 iadd\\
 istore $n_x$\\
 \end{tabular}}
 \end{center}
-where \bl{$n_x$} is the index corresponding to the variable \bl{$x$}
+where \bl{$n_x$} is the index corresponding to the variable~\bl{$x$}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[t]
-\frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}}
+\frametitle{Compiling Ifs}
 {\Large\bl{$\text{if}\;b\;\text{then}\;cs_1\;\text{else}\;cs_2$}}\bigskip\bigskip
 \onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:}
 \draw (cs2) edge [->,red, line width=1mm] (A4);
 \node [below=of cs1] {\raisebox{-5mm}{\small{}conditional jump}};}
 \end{tikzpicture}
 \end{center}
+\end{frame}
-\end{frame}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[t]
-\mode<presentation>{
+\frametitle{Conditional Jumps}
-\begin{frame}[c]
-\frametitle{\begin{tabular}{c}Conditional Jumps\end{tabular}}
 \begin{minipage}{1.1\textwidth}
 \begin{itemize}
 \item \bl{if\_icmpeq $label$} if two ints are equal, then jump\medskip
 \item \bl{if\_icmpne $label$} if two ints aren't equal, then jump\medskip
 \end{center}
 \begin{textblock}{3.5}(11,12)
 \only<3>{labels must be unique}
 \end{textblock}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[t]
-\begin{frame}[t]
+\frametitle{Compiling BExps}
-\frametitle{\begin{tabular}{c}Compiling BExps\end{tabular}}
 {\Large\bl{$a_1 = a_2$}}
 \begin{center}
 \bl{\begin{tabular}{lcl}
 $\text{compile}(a_1 = a_2, E, lab)$ & $\dn$\\
 \multicolumn{3}{l}{$\quad\text{compile}(a_1, E) \;@\;\text{compile}(a_2, E)\;@\; \text{if\_icmpne}\;lab$}
 \end{tabular}}
 \end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[c, fragile]
-\begin{frame}[t]
+\frametitle{Boolean Expressions}
-\frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}}
+Compilation of boolean expressions:
+\begin{center}
+\begin{tikzpicture}[node distance=2mm and 4mm,
+block/.style={rectangle, minimum size=1cm, draw=black, line width=1mm},
+point/.style={rectangle, inner sep=0mm, minimum size=0mm, fill=red},
+skip loop/.style={red, line width=1mm, to path={-- ++(0,-10mm) -| (\tikztotarget)}}]
+\node (A1) [point] {};
+\node (b) [block, right=of A1] {code of \bl{$b$}};
+\node (A2) [point, right=of b] {};
+\node (cs1) [block, right=of A2] {code of \bl{$cs_1$}};
+\node (A3) [point, right=of cs1] {};
+\node (cs2) [block, right=of A3] {code of \bl{$cs_2$}};
+\node (A4) [point, right=of cs2] {};
+\only<1>{
+\draw (A1) edge [->, red, line width=1mm] (b);
+\draw (b) edge [->, red, line width=1mm] (A2);
+\draw (A2) edge [skip loop] (A3);
+\draw (A3) edge [->, red, line width=1mm] (cs2);
+\draw (cs2) edge [->,red, line width=1mm] (A4);
+\node [below=of cs1] {\raisebox{-5mm}{\small{}conditional jump}};}
+\end{tikzpicture}
+\end{center}
+\begin{center}
+\begin{tabular}{lcl}
+\texttt{Bop("==", a1, a2)} & $\Rightarrow$ & \texttt{...if\_icmpne...}\\
+\texttt{Bop("!=", a1, a2)} & $\Rightarrow$ & \texttt{...if\_icmpeq...}\\
+\texttt{Bop("<", a1, a2)} & $\Rightarrow$ & \texttt{...if\_icmpge...}\\
+\texttt{Bop("<=", a1, a2)} & $\Rightarrow$ & \texttt{...if\_icmpgt...}\\
+\end{tabular}
+\end{center}
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[t]
+\frametitle{Compiling Ifs}
 {\Large\bl{if $b$ then $cs_1$ else $cs_2$}}
 \begin{center}
 \bl{\begin{tabular}{lcl}
 \multicolumn{3}{l}{$\quad\phantom{(}@\;is_2$}\\
 \multicolumn{3}{l}{$\quad\phantom{(}@\;l_{ifend}:, E'')$}\\
 \end{tabular}}
 \end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[t]
-\begin{frame}[t]
+\frametitle{Compiling Whiles}
-\frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}}
 {\Large\bl{$\text{while}\;b\;\text{do}\;cs$}}\bigskip\bigskip
 \onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:}
 \draw (A2) edge [skip loop] (A3);
 \draw (A3) edge [->, red, line width=1mm] (A4);}
 \end{tikzpicture}
 \end{center}
+\end{frame}
-\end{frame}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[t]
-\mode<presentation>{
+\frametitle{Compiling Whiles}
-\begin{frame}[t]
-\frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}}
 {\Large\bl{while $b$ do $cs$}}
 \begin{center}
 \bl{\begin{tabular}{lcl}
 \multicolumn{3}{l}{$\quad\phantom{(}@\; \text{goto}\;l_{wbegin}$}\\
 \multicolumn{3}{l}{$\quad\phantom{(}@\;l_{wend}:, E')$}\\
 \end{tabular}}
 \end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
+\begin{frame}[t]
-\begin{frame}[t]
+\frametitle{Compiling Writes}
-\frametitle{\begin{tabular}{c}Compiling Writes\end{tabular}}
 {\Large\bl{write $x$}}
 \begin{center}
 \small\bl{\begin{tabular}{l}
 iload $E(x)$\\
 invokestatic write(I)V\\
 \end{tabular}}
 \end{center}
-\end{frame}}
+\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
-\begin{frame}[c]
-\begin{center}
-\small\bl{\begin{tabular}{l}
-.class public XXX.XXX\\
-.super java/lang/Object\\
-\\
-.method public <init>()V\\
-\;\;     aload\_0\\
-\;\;     invokenonvirtual java/lang/Object/<init>()V\\
-\;\;    return\\
-.end method\\
-\\
-.method public static main([Ljava/lang/String;)V\\
-\;\;   .limit locals 200\\
-\;\;     .limit stack 200\\
-\\
-\textcolor{black}{(here comes the compiled code)}\\
-\\
-\;\;     return\\
-.end method\\
-\end{tabular}}
-\end{center}
-\end{frame}}
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[c]
 \frametitle{\begin{tabular}{c}Next Compiler Phases\end{tabular}}

changeset 387	8aa406adfde0
parent 308	3703ade9b17c
child 459	780486571e38