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