summaryrefslogtreecommitdiff
path: root/paper/intro-while.tex
diff options
context:
space:
mode:
authorCamil Staps2016-06-07 15:51:04 +0200
committerCamil Staps2016-06-07 15:51:04 +0200
commita82dc42e7c07fa47d2dab0cbe26a31e080ae9952 (patch)
treef2f7ec0b7851bfc4ed1887f66c254904e7b27487 /paper/intro-while.tex
parentFinishing first version paper (diff)
Processed feedback
Diffstat (limited to 'paper/intro-while.tex')
-rw-r--r--paper/intro-while.tex7
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.