2 \usepackage[toc,nonumberlist,acronyms
]{glossaries
}
5 \newacronym{GADT
}{GADT
}{Generalized Algebraic Datatype
}
6 \newacronym{ADT
}{ADT
}{Algebraic Datatype
}
7 \newacronym{SDS
}{SDS
}{Shared Data Source
}
8 \newacronym{IoT
}{IoT
}{Internet of Things
}
9 \newacronym{TOP
}{TOP
}{Task Oriented Programming
}
10 \newacronym{EDSL
}{(E)DSL
}{(Embedded) Design Specific Language
}
11 \newacronym{RISC
}{RISC
}{Reduced Instruction Set Computer
}
12 \newacronym{ARM
}{ARM
}{Acorn
\acrshort{RISC
} Machine
}
13 \newacronym{LTN
}{LTN
}{Low Throughput Network
}
14 \newacronym{IDE
}{IDE
}{Integrated Development Environment
}
15 \newglossaryentry{Clean
}{name=Clean,
16 description=
{is a pure lazy functional programming language based on graph
18 \newglossaryentry{iTasks
}{name=iTasks,
19 description=
{is a
\acrshort{TOP
} implementation written as a
\acrshort{EDSL
}
20 in the
\gls{Clean
} programming language
}}
21 \newglossaryentry{Task
}{name=Task,
22 description=
{is the basic building block of a
\acrshort{TOP
} system
}}
23 \newglossaryentry{mTask
}{name=mTask,
24 description=
{is an abstraction for
\glspl{Task
} living on
\acrshort{IoT
} devices
}}
25 \newglossaryentry{C
}{name=C,
26 description=
{is low-level programming language suitable for embedded devices
}}
34 course=
{Master Thesis
},
35 institute=
{Radboud University Nijmegen
},
36 authorstext=
{Author:
},
37 righttextheader=
{Supervisors:
},
38 righttext=
{prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\
\dr.~P.W.M.~Koopman
}]
44 \chapter*
{\centering Abstract
}
50 \chapter*
{\centering Acknowledgements
}
52 \centering\it\noindent
53 \input{acknowledgements.tex
}
61 \chapter{Introduction
}\label{chp:introduction
}
62 \input{introduction.tex
}
64 \chapter{Methods
}\label{chp:methods
}
67 \chapter{Results
}\label{chp:results
}
68 \chapter{Conclusion \& Discussion
}\label{chp:conclusion
}
70 \appendix\label{chp:appendix
}
71 \chapter{Planning
}\label{app:planning
}
72 \input{appendix-planning.tex
}
74 \chapter{Communication protocol
}\label{app:communication-protocol
}
75 \input{appendix-protocol.tex
}
77 \chapter{Device client interface
}\label{app:device-interface
}
78 \input{appendix-device-interface.tex
}
82 \addcontentsline{toc
}{chapter
}{\listfigurename}
86 \addcontentsline{toc
}{chapter
}{\listtablename}
92 \bibliographystyle{ieeetr
}