X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=76a9d84eaf77851d4eb83d16bad13e2113b2274b;hb=b8e0188d0d4b4f321259e036807b439c85753828;hp=748a3c617284ef52a94c418481d0a80f125759d0;hpb=9662cccfffecb70d621318b5f3a35e46b6029f3c;p=msc-thesis1617.git diff --git a/glossaries.tex b/glossaries.tex index 748a3c6..76a9d84 100644 --- a/glossaries.tex +++ b/glossaries.tex @@ -2,20 +2,21 @@ description={is a cheap and popular microcontroller that is widely used for rapid prototyping}} \newglossaryentry{Clean}{name={\emph{Clean}}, - description={is a staticly typed pure lazy functional programming language based on graph - rewriting}} + description={is a statically typed pure lazy functional programming + language based on graph rewriting}} \newglossaryentry{Haskell}{name={\emph{Haskell}}, description={is a staticly typed pure lazy functional programming language}} \newglossaryentry{iTasks}{name=\emph{iTasks}, - description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL} - in the \gls{Clean} programming language}} + description={is a \acrshort{TOP} implementation written as an + \acrshort{EDSL} in the \gls{Clean} programming language}} \newglossaryentry{Ivory}{name={\emph{Ivory}}, description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code for high-assurance low-level systems}} \newglossaryentry{Task}{name=\emph{Task}, description={is the basic building block of a \acrshort{TOP} system}} \newglossaryentry{mTask}{name=\emph{mTask}, - description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}} + description={is an abstraction for \glspl{Task} living on \acrshort{IoT} + devices. Moreover, it is the name of an \gls{EDSL}}} \newglossaryentry{C}{name=\textsc{C}, description={is low-level imperative programming language suitable for embedded devices}} @@ -57,3 +58,4 @@ \newglossacr{SDS} {Shared Data Source} \newglossacr{TCP} {Transmission Control Protocol} \newglossacr{TOP} {Task Oriented Programming} +\newglossacr{MSB} {Most Significant Byte}