thesis.tex

   1 \documentclass[twoside,10pt]{book}
   2
   3 \def\mytitle{Orchestrating the Internet of Things\texorpdfstring{\\}{ }with Task-Oriented Programming}
   4 \def\mysubtitle{a purely functional rhapsody}
   5 \def\myauthor{Mart Lubbers}
   6 \def\mydate{\formatdate{31}{12}{2022}}
   7
   8 \input{preamble}
   9
  10 % To show hboxes even when in non-draft mode
  11 \overfullrule=1pt
  12
  13 % Just for the todonotes, can go when it's finished
  14 \usepackage{todonotes}
  15 \setuptodonotes{
  16         backgroundcolor=white,
  17         linecolor=black,
  18 %       size=tiny,
  19 }
  20
  21 % Document info
  22 \title{\mytitle{}\texorpdfstring{\\[2ex]}{---}\smaller{}\mysubtitle{}}
  23 \author{Mart Lubbers}
  24 \date{\mydate}
  25
  26 \begin{document}
  27 \selectlanguage{british}
  28
  29 \frontmatter%
  30 \frontmatterfancy%
  31
  32 %Titlepage
  33 \hypertarget{titlepage}{}
  34 \bookmark[level=section,dest=titlepage]{Titlepage}
  35 \subfile{front/titlepage}
  36 \newpage%
  37
  38 % Epigraph/motto
  39 \hypertarget{motto}{}
  40 \bookmark[level=section,dest=motto]{Motto}
  41 \subfile{front/motto}
  42
  43 % Table of contents
  44 \setcounter{tocdepth}{1}
  45 \hypertarget{contents}{}
  46 \bookmark[level=section,dest=contents]{Contents}
  47 \tableofcontents
  48 \newpage%
  49
  50 % Dedication
  51 \hypertarget{dedication}{}
  52 \bookmark[level=section,dest=dedication]{Dedication}
  53 \subfile{front/dedication}
  54
  55 % Reset glossary and thus the acronyms
  56 \glsresetall{}
  57
  58 % The actual document
  59 \mainmatter%
  60 \mainmatterfancy%
  61 \setcounter{chapter}{-1}
  62
  63 % Introduction
  64 \subfile{intro/intro}
  65
  66 \part[\'Etude --- Domain-Specific Languages]{\'Etude\\[2ex]\smaller{}Domain-Specific Languages}%
  67 \label{prt:dsl}
  68 \subfile{dsl/class}    % Deep embedding with class
  69 \subfile{dsl/first}    % First-class data types
  70
  71 \part{Orchestrating the IoT using Task-Oriented Programming}%
  72 \label{prt:top}
  73 \subfile{top/4iot}  % TOP for the IoT
  74 \subfile{top/lang}  % mTask DSL
  75 \subfile{top/int}   % Integration with iTask
  76 \subfile{top/imp}   % Implementation
  77 \subfile{top/green} % Green computing
  78
  79 \part{Tiered vs.\ Tierless Programming}%
  80 \label{prt:tvt}
  81 \subfile{tvt/tvt}   % Could Tierless Languages Reduce IoT Development Grief?
  82
  83 % Conclusion
  84 \bookmarksetup{startatroot} % descend back out of the previous part
  85 \addtocontents{toc}{\bigskip}% Insert some whitespace to make the TOC better
  86 \subfile{concl/concl}
  87
  88 % Start appendix
  89 \appendix%
  90 \label{chp:appendix}
  91 \addcontentsline{toc}{part}{Appendix}
  92
  93 \subfile{appx/c4hp}
  94 \subfile{appx/mtask_aux}
  95 \subfile{appx/bytecode}
  96
  97 \backmatter%
  98 \backmatterfancy%
  99 \bookmarksetup{startatroot} % descend back out of the appendix
 100
 101 % Bibliography
 102 \phantomsection{}%
 103 \label{chp:bibliography}
 104 \addcontentsline{toc}{chapter}{Bibliography}
 105 \bibliography{other,self,tiot}
 106
 107 % Summary
 108 \subfile{back/summary}
 109
 110 % Samenvatting
 111 \subfile{back/samenvatting}
 112
 113 % Acknowledgements
 114 \subfile{back/acknowledgements}
 115
 116 % Research data management
 117 \subfile{back/research_data_management}
 118
 119 % Curriculum vitæ
 120 \subfile{back/curriculum_vitae}
 121
 122 % Glossary
 123 \printglossary[style=mcolindex]%
 124 \printglossary[type=\acronymtype,style=mcolindex]%
 125
 126 %% Lists of
 127 %\cleardoublepage{}
 128 %\phantomsection{}%
 129 %\label{chp:listsof...}
 130 %\addcontentsline{toc}{chapter}{Lists of \ldots}
 131 %\begingroup
 132 %\let\clearpage\relax
 133 %\let\cleardoublepage\relax
 134 %\listoffigures%
 135 %\listoftables%
 136 %\listofalgorithms%
 137 %\lstlistoflistings%
 138 %\endgroup
 139
 140 % Index
 141 %\addcontentsline{toc}{chapter}{Index}%
 142 %\label{chp:index}
 143 %\printindex
 144
 145 \end{document}