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 statically typed pure lazy functional programming
6 language based on graph rewriting
}}
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 an
11 \acrshort{EDSL
} 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
}
19 devices. Moreover, it is the name of an
\gls{EDSL
}}}
20 \newglossaryentry{C
}{name=
\textsc{C
},
21 description=
{is low-level imperative programming language suitable for
23 \newglossaryentry{C++
}{name=
{\textsc{C++
}},
24 description=
{is low-level imperative and object-oriented programming
25 language suitable for embedded devices based on
\gls{C
}}}
26 \newglossaryentry{SAPL
}{name=
{\textsc{SAPL
}},
27 description=
{is an intermediate purely functional programming language
}}
28 \newglossaryentry{Firmata
}{name=
{\emph{Firmata
}},
29 description=
{is standardized protocol for communicating with
31 \newglossaryentry{Javascript
}{name=
{\emph{Javascript
}},
32 description=
{is an imperative programming language designed to run in web
34 \newglossaryentry{LED
}{name=
{LED
},
35 description=
{Lighting Emitting Diode
}}
36 \newcommand{\newglossacr}[2]{\newglossaryentry{#1}{
39 firstplural=
{#2\glspluralsuffix{} (
#1\glspluralsuffix)
},
41 \newglossacr{ADT
} {Algebraic Datatype
}
42 \newglossacr{ARM
} {Acorn
\glsentryname{RISC
} Machine
}
43 \newglossacr{AST
} {Abstract Syntax Tree
}
44 \newglossacr{EDSL
} {Embedded Domain Specific Language
}
45 \newglossacr{GADT
} {Generalized Algebraic Data type
}
46 \newglossacr{GLONASS
}{Global Navigation Satellite System
}
47 \newglossacr{GNSS
} {Global Navigation Satellite System
}
48 \newglossacr{GPIO
} {General-Purpose Input/Output
}
49 \newglossacr{GPS
} {Global Positioning System
}
50 \newglossacr{IDE
} {Integrated Development Environment
}
51 \newglossacr{IoT
} {Internet of Things
}
52 \newglossacr{JSON
} {JavaScript Object Notation
}
53 \newglossacr{LCD
} {Liquid Crystal Display
}
54 \newglossacr{LTN
} {Low Throughput Network
}
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
}