...
 
Commits (2)
......@@ -6,5 +6,5 @@
\end{mhmodnl}
%%% []Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -6,5 +6,5 @@
\end{mhmodnl}
%%% []Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -4,5 +4,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -7,5 +7,5 @@
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -6,5 +6,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -5,5 +5,5 @@
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -3,5 +3,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -7,5 +7,5 @@
\end{mhmodnl}
%%% []Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -4,5 +4,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -9,5 +9,5 @@
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -4,5 +4,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
\begin{mhmodnl}[creators=miko]{expression}{en}
\begin{mhmodnl}[creators=miko]{program-expression}{en}
\begin{definition}
An \defi{expression} in a \trefii[program]{programming}{language} is a combination of
one or more \trefis[constant]{constant}, \trefis[variable]{variable},
one or more \trefis[constant]{constant}, \trefis[program-variable]{variable},
\trefis[operator]{operator}, and \trefis[subroutine]{function} that the
\trefii[program]{programming}{language} computes to produce (to \defi{return}, in a
\trefi[state]{stateful} environment) a \trefi[value]{value}. This process is called
......
\begin{modsig}[creators=miko]{expression}
\gimport{variable}
\begin{modsig}[creators=miko]{program-expression}
\gimport{program-variable}
\gimport{operator}
\gimport{constant}
\symi{expression}
\symi{evaluation}
\symi{return}
......
\begin{mhmodnl}[creators=miko]{variable}{en}
\begin{mhmodnl}[creators=miko]{program-variable}{en}
\begin{definition}
A \defi{variable} is a \trefi[memory]{memory} location which contains a
\trefi[value]{value}. It is referenced by an identifier -- the \defii{variable}{name}.
......@@ -6,5 +6,5 @@
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
\begin{modsig}[creators=miko]{variable}
\begin{modsig}[creators=miko]{program-variable}
\gimport{value}
\gimport{memory}
\symi{variable}
\symii{variable}{name}
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -9,5 +9,5 @@
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -7,5 +7,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
\begin{mhmodnl}[creators=miko]{side-effect}{en}
\begin{definition}
An \trefi[subroutine]{subroutine} or \trefi[expression]{expression} is said to have a
\defii{side}{effect} if it modifies some \trefi[variable]{variable}
An \trefi[subroutine]{subroutine} or \trefi[program-expression]{expression} is said to have a
\defii{side}{effect} if it modifies some \trefi[program-variable]{variable}
\trefi[value]{value} outside its local environment, that is to say has an observable
effect besides returning a \trefi[value]{value} (the main effect) to the
\trefi[subroutine]{invoker} of the operation.
......@@ -9,5 +9,5 @@
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
\begin{modsig}[creators=miko]{side-effect}
\gimport{subroutine}
\gimport{expression}
\gimport{program-expression}
\symii{side}{effect}
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -15,5 +15,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -5,7 +5,7 @@
\trefi{compiler} or \trefi{interpreter} how the \trefi[program]{programmer} intends to
use the \trefi[data]{data}.
A \trefi{type} constrains the \trefis[value]{value} a \trefi[variable]{variable} or
A \trefi{type} constrains the \trefis[value]{value} a \trefi[program-variable]{variable} or
\trefi{function} can might take and defines the \trefis[operator]{operation} that can
be applied to it.
\end{definition}
......
......@@ -2,7 +2,7 @@
\gimport{program}
\gimport{subroutine}
\gimport{data}
\gimport{variable}
\gimport{program-variable}
\gimport{operator}
\end{modsig}
%%% Local Variables:
......
......@@ -6,5 +6,5 @@
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End:
......@@ -4,5 +4,5 @@
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "all.en"
%%% TeX-master: t
%%% End: