2 \usepackage[nonumberlist,acronyms
]{glossaries
}
5 \newacronym{GADT
}{GADT
}{Generalized Algebraic Datatype
}
6 \newacronym{GPIO
}{GPIO
}{General-Purpose Input/Output
}
7 \newacronym{ADT
}{ADT
}{Algebraic Datatype
}
8 \newacronym{SDS
}{SDS
}{Shared Data Source
}
9 \newacronym{IoT
}{IoT
}{Internet of Things
}
10 \newacronym{TOP
}{TOP
}{Task Oriented Programming
}
11 \newacronym{EDSL
}{(E)DSL
}{(Embedded) Design Specific Language
}
12 \newacronym{RISC
}{RISC
}{Reduced Instruction Set Computer
}
13 \newacronym{ARM
}{ARM
}{Acorn
\acrshort{RISC
} Machine
}
14 \newacronym{LTN
}{LTN
}{Low Throughput Network
}
15 \newacronym{IDE
}{IDE
}{Integrated Development Environment
}
16 \newacronym{TCP
}{TCP
}{Transmission Control Protocol
}
17 \newglossaryentry{Clean
}{name=Clean,
18 description=
{is a pure lazy functional programming language based on graph
20 \newglossaryentry{iTasks
}{name=iTasks,
21 description=
{is a
\acrshort{TOP
} implementation written as a
\acrshort{EDSL
}
22 in the
\gls{Clean
} programming language
}}
23 \newglossaryentry{Task
}{name=Task,
24 description=
{is the basic building block of a
\acrshort{TOP
} system
}}
25 \newglossaryentry{mTask
}{name=mTask,
26 description=
{is an abstraction for
\glspl{Task
} living on
\acrshort{IoT
} devices
}}
27 \newglossaryentry{C
}{name=C,
28 description=
{is low-level programming language suitable for embedded devices
}}
36 course=
{Master Thesis
},
37 institute=
{Radboud University Nijmegen
},
38 authorstext=
{Author:
},
39 righttextheader=
{Supervisors:
},
40 righttext=
{prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\
\dr.~P.W.M.~Koopman
}]
46 \chapter*
{\centering Abstract
}
52 \chapter*
{\centering Acknowledgements
}
54 \centering\it\noindent
55 \input{acknowledgements.tex
}
63 \chapter{Introduction
}\label{chp:introduction
}
64 \input{introduction.tex
}
66 \chapter{Methods
}\label{chp:methods
}
69 \chapter{Results
}\label{chp:results
}
72 \chapter{Conclusion \& Discussion
}\label{chp:conclusion
}
73 \input{conclusion.tex
}
75 \appendix\label{chp:appendix
}
77 \chapter{Planning
}\label{app:planning
}
78 \input{appendix-planning.tex
}
80 \chapter{Communication protocol
}\label{app:communication-protocol
}
81 \input{appendix-protocol.tex
}
83 \chapter{Device client interface
}\label{app:device-interface
}
84 \input{appendix-device-interface.tex
}
88 \addcontentsline{toc
}{chapter
}{Lists of
\ldots}
97 \addcontentsline{toc
}{chapter
}{Glossaries \& Acronyms
}
101 \let\cleardoublepage\relax
105 \bibliographystyle{ieeetr
}
106 \bibliography{thesis
}