equal
deleted
inserted
replaced
583 Let us have a look at the Scala code shown in |
583 Let us have a look at the Scala code shown in |
584 Figure~\ref{code}. It shows the entire code for the |
584 Figure~\ref{code}. It shows the entire code for the |
585 interpreter, though the implementation is admittedly no |
585 interpreter, though the implementation is admittedly no |
586 frills. |
586 frills. |
587 |
587 |
588 \begin{figure}[t] |
588 %\begin{figure}[t] |
589 \small |
589 %\small |
590 \lstinputlisting[language=Scala]{../progs/inter.scala} |
590 %\lstinputlisting[language=Scala]{../progs/inter.scala} |
591 \caption{The entire code of the interpreter for our |
591 %\caption{The entire code of the interpreter for our |
592 idealised programming language.\label{code}} |
592 %idealised programming language.\label{code}} |
593 \end{figure} |
593 %\end{figure} |
594 |
594 |
595 |
595 |
596 \subsubsection*{Static Analysis} |
596 \subsubsection*{Static Analysis} |
597 |
597 |
598 Finally we can come back to our original problem, namely |
598 Finally we can come back to our original problem, namely |