diff options
author | Camil Staps | 2016-06-07 15:51:04 +0200 |
---|---|---|
committer | Camil Staps | 2016-06-07 15:51:04 +0200 |
commit | a82dc42e7c07fa47d2dab0cbe26a31e080ae9952 (patch) | |
tree | f2f7ec0b7851bfc4ed1887f66c254904e7b27487 /paper/intro-while.tex | |
parent | Finishing first version paper (diff) |
Processed feedback
Diffstat (limited to 'paper/intro-while.tex')
-rw-r--r-- | paper/intro-while.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/paper/intro-while.tex b/paper/intro-while.tex index 128244a..77251bd 100644 --- a/paper/intro-while.tex +++ b/paper/intro-while.tex @@ -1,7 +1,7 @@ \subsection{The language While} \label{sec:intro:while} -We will use the language While described by~\cite{proganal} as a running -example. In its definition, we use the following meta-variables: +We use the language While described by~\cite{proganal} as a running example. In +its definition, the following meta-variables are used: \begin{tabbing} \qquad \= $n$ \enspace\= denotes an integer; \\ @@ -57,4 +57,5 @@ after executing the following program, \verb$y$ will have been divided by $2$: } \end{while} -While programs are executed in a \emph{state} which maps variables to integers. +Programs in While are executed in a \emph{state} which maps variables to +integers. |