Commit 4e3834f4 authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 5404a0c1
\begin{mhmodnl}[creators=miko]{adt}{en}
\begin{mhmodnl}[creators=miko]{adt}{de}
\begin{definition}
Ein \defii[name=ADT]{abstrakter}{Datentyp} (\defi[name=ADT]{ADT}) ist ein
mathematisches Modell f"ureinen \mtrefi[type?type]{Datentyp}, der einen
......
\begin{modsig}[creators=miko]{constant}
\gimport{value}
\gimport{memory}
\symi{constant}
\symii{constant}{name}
\end{modsig}
......
\begin{mhmodnl}[creators=miko]{dictionary}{en}
\begin{mhmodnl}[creators=miko]{dictionary}{de}
\begin{definition}
Ein \defi[name=dictionary]{Dictionary} (oder
\defii[name=dictionary]{assoziatives}{Datenfeld}) ist ein
......
\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
\defi[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.
\defi{key}/\defi{value} pairs, such that each possible \trefi{key} appears at most
once in the collection.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
\begin{mhmodnl}[creators=miko]{type}{en}
\begin{definition}
A \defi[name=type]{data}{type} or simply \defi{type} is an
A \defii[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}.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment