equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{CodeGen}% |
3 \def\isabellecontext{CodeGen}% |
4 % |
4 % |
5 \isamarkupsection{Case study: compiling expressions% |
5 \isamarkupsection{Case Study: Compiling Expressions% |
6 } |
6 } |
7 % |
7 % |
8 \begin{isamarkuptext}% |
8 \begin{isamarkuptext}% |
9 \label{sec:ExprCompiler} |
9 \label{sec:ExprCompiler} |
10 The task is to develop a compiler from a generic type of expressions (built |
10 The task is to develop a compiler from a generic type of expressions (built |