glossaries.tex

   1 \newglossaryentry{Arduino}{name=Arduino,
   2         description={is a cheap and popular microcontroller that is widely used for
   3         rapid prototyping}}
   4 \newglossaryentry{Clean}{name=Clean,
   5         description={is a staticly typed pure lazy functional programming language based on graph
   6                 rewriting}}
   7 \newglossaryentry{Haskell}{name=Haskell,
   8         description={is a staticly typed pure lazy functional programming language}}
   9 \newglossaryentry{iTasks}{name=iTasks,
  10         description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL}
  11         in the \gls{Clean} programming language}}
  12 \newglossaryentry{Ivory}{name=Ivory,
  13         description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code
  14         for high-assurance low-level systems}}
  15 \newglossaryentry{Tower}{name=Tower,
  16         description={is a type-safe \gls{EDSL} similar to \gls{Ivory} designed to
  17         generate code for \acrlong{RTOS}}}
  18 \newglossaryentry{Task}{name=Task,
  19         description={is the basic building block of a \acrshort{TOP} system}}
  20 \newglossaryentry{mTask}{name=mTask,
  21         description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
  22 \newglossaryentry{C}{name=C,
  23         description={is low-level imperative programming language suitable for
  24         embedded devices}}
  25 \newglossaryentry{C++}{name=C++,
  26         description={is low-level imperative and object-oriented programming
  27         language suitable for embedded devices based on \gls{C}}}
  28 \newglossaryentry{SAPL}{name=SAPL,
  29         description={is an intermediate purely functional programming language}}
  30 \newglossaryentry{Firmata}{name=Firmata,
  31         description={is standardized protocol for communicating with
  32         microcontrollers}}
  33 \newglossaryentry{Javascript}{name=Javascript,
  34         description={is an imperative programming language designed to run in web
  35         browsers}}