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