glossaries.tex

   1 \newglossaryentry{Arduino}{name=\emph{Arduino},
   2         description={is a cheap and popular microcontroller that is widely used for
   3         rapid prototyping}}
   4 \newglossaryentry{Clean}{name={\emph{Clean}},
   5         description={is a statically typed pure lazy functional programming
   6         language based on graph rewriting}}
   7 \newglossaryentry{Haskell}{name={\emph{Haskell}},
   8         description={is a statically typed pure lazy functional programming
   9         language}}
  10 \newglossaryentry{iTasks}{name=\emph{iTasks},
  11         description={is a \gls{TOP} implementation written as an
  12         \gls{EDSL} in the \gls{Clean} programming language}}
  13 \newglossaryentry{Ivory}{name={\emph{Ivory}},
  14         description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code
  15         for high-assurance low-level systems}}
  16 \newglossaryentry{Task}{name=\emph{Task},
  17         description={is the basic building block of a \gls{TOP} system}}
  18 \newglossaryentry{mTask}{name=\emph{mTask},
  19         description={is an abstraction for \glspl{Task} living on \gls{IoT}
  20         devices. Moreover, it is the name of an \gls{EDSL}}}
  21 \newglossaryentry{C}{name=\textsc{C},
  22         description={is low-level imperative programming language suitable for
  23         embedded devices}}
  24 \newglossaryentry{C++}{name={\textsc{C++}},
  25         description={is low-level imperative and object-oriented programming
  26         language suitable for embedded devices based on \gls{C}}}
  27 \newglossaryentry{SAPL}{name={\textsc{SAPL}},
  28         description={is an intermediate purely functional programming language}}
  29 \newglossaryentry{Firmata}{name={\emph{Firmata}},
  30         description={is standardized protocol for communicating with
  31         microcontrollers}}
  32 \newglossaryentry{Javascript}{name={\emph{Javascript}},
  33         description={is an imperative programming language designed to run in web
  34         browsers}}
  35 \newglossaryentry{LED}{name={LED},
  36         description={Lighting Emitting Diode}}
  37 \newcommand{\newglossacr}[2]{\newglossaryentry{#1}{
  38         name={#1},
  39         first={#2 (#1)},%
  40         firstplural={#2\glspluralsuffix{} (#1\glspluralsuffix)},
  41         description={#2}}}
  42 \newglossacr{ADT}    {Algebraic Datatype}
  43 \newglossacr{ARM}    {Acorn \glsentryname{RISC} Machine}
  44 \newglossacr{AST}    {Abstract Syntax Tree}
  45 \newglossacr{EDSL}   {Embedded Domain Specific Language}
  46 \newglossacr{GADT}   {Generalized Algebraic Data type}
  47 \newglossacr{GLONASS}{Global Navigation Satellite System}
  48 \newglossacr{GNSS}   {Global Navigation Satellite System}
  49 \newglossacr{GPIO}   {General-Purpose Input/Output}
  50 \newglossacr{GPS}    {Global Positioning System}
  51 \newglossacr{IDE}    {Integrated Development Environment}
  52 \newglossacr{IoT}    {Internet of Things}
  53 \newglossacr{JSON}   {JavaScript Object Notation}
  54 \newglossacr{LCD}    {Liquid Crystal Display}
  55 \newglossacr{RFID}   {Radio-Frequency Identification}
  56 \newglossacr{RISC}   {Reduced Instruction Set Computer}
  57 \newglossacr{RWST}   {Reader Writer State Transformer Monad}
  58 \newglossacr{SDS}    {Shared Data Source}
  59 \newglossacr{TCP}    {Transmission Control Protocol}
  60 \newglossacr{TOP}    {Task Oriented Programming}
  61 \newglossacr{MSB}    {Most Significant Byte}