1 \documentclass[twoside,
10pt
]{book
}
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}}
10 % To show hboxes even when in non-draft mode
12 %\showboxdepth=\maxdimen%
13 %\showboxbreadth=\maxdimen%
16 \setlength{\overfullrule}{20pt
}
18 % Just for the todonotes, can go when it's finished
19 \usepackage{todonotes
}
21 backgroundcolor=white,
27 \title{\mytitle\texorpdfstring{\\
[2ex
]}{---
}\smaller\mysubtitle}
34 \let\@bibitem
\saved@bibitem
%
37 \selectlanguage{british
}
43 \hypertarget{titlepage
}{}
44 \bookmark[level=section,dest=titlepage
]{Titlepage
}
45 \subfile{front/titlepage
}
50 \bookmark[level=section,dest=motto
]{Motto
}
54 \setcounter{tocdepth}{1}
55 \hypertarget{contents
}{}
56 \bookmark[level=section,dest=contents
]{Contents
}
61 \hypertarget{dedication
}{}
62 \bookmark[level=section,dest=dedication
]{Dedication
}
63 \subfile{front/dedication
}
65 % Reset glossary and thus the acronyms
71 \setcounter{chapter
}{-
1}
76 \part[\'Etude --- Domain-Specific Languages
]{\'Etude\\
[2ex
]\smaller{}Domain-Specific Languages
}%
78 \subfile{dsl/class
} % Deep embedding with class
79 \subfile{dsl/first
} % First-class data types
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
}%
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
90 \part[Tiered versus Tierless Programming
]{\\
[2ex
]\smaller{}Tiered versus Tierless Programming
}%
92 \subfile{tvt/tvt
} % Could Tierless Languages Reduce IoT Development Grief?
95 \bookmarksetup{startatroot
} % descend back out of the previous part
96 \addtocontents{toc
}{\bigskip}% Insert some whitespace to make the TOC better
102 \addcontentsline{toc
}{part
}{Appendix
}
105 \subfile{appx/mtask_aux
}
106 \subfile{appx/bytecode
}
110 \bookmarksetup{startatroot
} % descend back out of the appendix
114 \label{chp:bibliography
}
115 \addcontentsline{toc
}{chapter
}{Bibliography
}
116 \bibliography{bib/other,bib/self,bib/tiot
}
119 \subfile{back/summary
}
122 \subfile{back/samenvatting
}
125 \subfile{back/acknowledgements
}
127 % Research data management
128 \subfile{back/research_data_management
}
131 \subfile{back/curriculum_vitae
}
134 \printglossary[style=mcolindex
]%
135 \printglossary[type=
\acronymtype,style=mcolindex
]%
140 %\label{chp:listsof...}
141 %\addcontentsline{toc}{chapter}{Lists of \ldots}
143 %\let\clearpage\relax
144 %\let\cleardoublepage\relax
152 %\addcontentsline{toc}{chapter}{Index}%