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}}
\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}