...
 
Commits (2)
\begin{mhmodnl}[creators=miko]{adt}{en}
\begin{definition}
An \defiii[name=ADT]{abstract}{data}{type} (\defi{ADT}) is a mathematical model for
\mtrefiis[type?type]{data}{type}, which defines a \trefi[type]{type} by defined by its
behavior from the point of view of a user of the data, specifically in terms of
possible \trefii[value]{value}, possible \trefii[operator]{operation} on
\trefi[data]{data} of this \trefi[type]{type}, and the behavior of these operations.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{modsig}[creators=miko]{adt}
\gimport{type}
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{mhmodnl}[creators=miko]{data-structure}{en}
\begin{definition}
A \defii{data}{structure} is a \trefi[data]{data} organization, management, and storage
format that enables efficient access and modification
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{modsig}[creators=miko]{data-structure}
\gimport{data}
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{mhmodnl}[creators=miko]{dictionary}{en}
\begin{definition}
A \defi{dictionary} (also called \defii[name=dictionary]{associative}{array},
\defii[name=dictionary]{map}, \defii[name=dictionary]{symbol}{table}) is an
\mtrefiii[adt?ADT]{abstract}{data}{type} composed of a \trefi[set]{set} of
\defi{key}/\defi{value} pairs, such that each possible \trefi{key} appears at most once
in the collection.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{modsig}[creators=miko]{dictionary}{en}
\gimport[smglom/sets]{pair}
\gimport{adt}
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
......@@ -2,7 +2,7 @@
\begin{definition}
An \defi{expression} in a \trefii[program]{programming}{language} is a combination of
one or more \trefis[constant]{constant}, \trefis[variable]{variable},
\trefis[operator]{operator}, and \trefis[function]{function} that the
\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
\defi{evaluation}.
......
\begin{modsig}[creators=miko]{expression}
\gimport{variable}
\gimport{operator}
\symi{expression}
\symi{evaluation}
\symi{return}
......
\begin{mhmodnl}[creators=miko]{identifier}{en}
\begin{definition}
An \defi{identifier} (also called \def[name=identifier]{handle}) is
An \defi{identifier} (also called \defi[name=identifier]{handle}) is
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
......@@ -4,6 +4,7 @@
\begin{itemize}
\item whose value is determined only by its \trefis[subroutine]{argument} and
\item whose evaluation is free of \trefiis{side}{effect}.
\end{itemize}
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
......@@ -5,6 +5,7 @@
\trefi[computer]{computer}'s \trefi[memory]{memory} or in some other
\mtrefi[secondary-storage?secondary-storage]{storage} device. The reference is said to
refer to the datum, and accessing the datum is called dereferencing the reference.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
......
\begin{modsig}[creators=miko]{reference}
\gimport{program}
\gimport{value}
\gimport{memory}
\gimport{secondary-storage}
\symi{reference}
\end{modsig}
%%% Local Variables:
......
\begin{mhmodnl}[creators=miko]{type}{en}
\begin{definition}
A \defi[name=type]{data}{type} or simply \defi{type} is an
\trefii[program]{programming}{language} attribute of \trefi[data]{data} which tells the
\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
\trefi{function} can might take and defines the operations that can be applied to it.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{modsig}[creators=miko]{type}
\gimport{program}
\gimport{subroutine}
\gimport{data}
\gimport{variable}
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: