\newglossaryentry{Arduino}{name=\emph{Arduino},
	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}}
\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}}
\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}}
\newglossaryentry{mTask}{name=\emph{mTask},
	description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
\newglossaryentry{C}{name=\textsc{C},
	description={is low-level imperative programming language suitable for
	embedded devices}}
\newglossaryentry{C++}{name={\textsc{C++}},
	description={is low-level imperative and object-oriented programming
	language suitable for embedded devices based on \gls{C}}}
\newglossaryentry{SAPL}{name={\textsc{SAPL}},
	description={is an intermediate purely functional programming language}}
\newglossaryentry{Firmata}{name={\emph{Firmata}},
	description={is standardized protocol for communicating with
	microcontrollers}}
\newglossaryentry{Javascript}{name={\emph{Javascript}},
	description={is an imperative programming language designed to run in web
	browsers}}
