equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 % |
3 % |
|
4 \isamarkupsection{Case study: compiling expressions} |
|
5 % |
4 \begin{isamarkuptext}% |
6 \begin{isamarkuptext}% |
5 \noindent |
7 \label{sec:ExprCompiler} |
6 The task is to develop a compiler from a generic type of expressions (built |
8 The task is to develop a compiler from a generic type of expressions (built |
7 up from variables, constants and binary operations) to a stack machine. This |
9 up from variables, constants and binary operations) to a stack machine. This |
8 generic type of expressions is a generalization of the boolean expressions in |
10 generic type of expressions is a generalization of the boolean expressions in |
9 \S\ref{sec:boolex}. This time we do not commit ourselves to a particular |
11 \S\ref{sec:boolex}. This time we do not commit ourselves to a particular |
10 type of variables or values but make them type parameters. Neither is there |
12 type of variables or values but make them type parameters. Neither is there |