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 \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}}
browsers}}
\newglossaryentry{LED}{name={LED},
description={Lighting Emitting Diode}}
-\newcommand{\newglossacr}[2]{\newglossaryentry{#1}{name={#1},first={%
- \glsentrylong{#1} (\glsentryname{#1})},firstplural={\glsentrylong{#1}%
- \glspluralsuffix (\glsentryname{#1}\glspluralsuffix},description={#2}}}
-\newglossacr{GADT}{Generalized Algebraic Data type}
-\newglossacr{GPIO} {General-Purpose Input/Output}
+\newcommand{\newglossacr}[2]{\newglossaryentry{#1}{
+ name={#1},
+ first={#2 (#1)},%
+ firstplural={#2\glspluralsuffix{} (#1\glspluralsuffix)},
+ description={#2}}}
\newglossacr{ADT} {Algebraic Datatype}
-\newglossacr{SDS} {Shared Data Source}
-\newglossacr{IoT} {Internet of Things}
-\newglossacr{TOP} {Task Oriented Programming}
-\newglossacr{EDSL} {Embedded Domain Specific Language}
-\newglossacr{RISC} {Reduced Instruction Set Computer}
\newglossacr{ARM} {Acorn \glsentryname{RISC} Machine}
-\newglossacr{LTN} {Low Throughput Network}
-\newglossacr{IDE} {Integrated Development Environment}
-\newglossacr{TCP} {Transmission Control Protocol}
-\newglossacr{RFID} {Radio-Frequency Identification}
-\newglossacr{GNSS} {Global Navigation Satellite System}
-\newglossacr{LCD} {Liquid Crystal Display}
\newglossacr{AST} {Abstract Syntax Tree}
-\newglossacr{GPS} {Global Positioning System}
+\newglossacr{EDSL} {Embedded Domain Specific Language}
+\newglossacr{GADT} {Generalized Algebraic Data type}
\newglossacr{GLONASS}{Global Navigation Satellite System}
-\newglossacr{RWST}{Reader Writer State Transformer Monad}
+\newglossacr{GNSS} {Global Navigation Satellite System}
+\newglossacr{GPIO} {General-Purpose Input/Output}
+\newglossacr{GPS} {Global Positioning System}
+\newglossacr{IDE} {Integrated Development Environment}
+\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}
+\newglossacr{SDS} {Shared Data Source}
+\newglossacr{TCP} {Transmission Control Protocol}
+\newglossacr{TOP} {Task Oriented Programming}
+\newglossacr{MSB} {Most Significant Byte}