process rinus' comments chp 1-4

[msc-thesis1617.git] / glossaries.tex

diff --git a/glossaries.tex b/glossaries.tex
index cc00596..809f8e7 100644 (file)
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -5,17 +5,19 @@
        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}}
+       description={is a statically typed pure lazy functional programming
+       language}}
 \newglossaryentry{iTasks}{name=\emph{iTasks},
-       description={is a \acrshort{TOP} implementation written as an
-       \acrshort{EDSL} in the \gls{Clean} programming language}}
+       description={is a \gls{TOP} implementation written as an
+       \gls{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}}
+       description={is the basic building block of a \gls{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 \gls{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}}
@@ -50,7 +52,6 @@
 \newglossacr{IoT}    {Internet of Things}
 \newglossacr{JSON}   {JavaScript Object Notation}
 \newglossacr{LCD}    {Liquid Crystal Display}
-\newglossacr{LTN}    {Low Throughput Network}
 \newglossacr{RFID}   {Radio-Frequency Identification}
 \newglossacr{RISC}   {Reduced Instruction Set Computer}
 \newglossacr{RWST}   {Reader Writer State Transformer Monad}