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