repositories
/
phd-thesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
george comments
[phd-thesis.git]
/
thesis.tex
diff --git
a/thesis.tex
b/thesis.tex
index
3896bb4
..
d0ed9bc
100644
(file)
--- a/
thesis.tex
+++ b/
thesis.tex
@@
-1,140
+1,146
@@
\documentclass[twoside,10pt]{book}
\documentclass[twoside,10pt]{book}
+\def\mytitle{Orchestrating the Internet of Things\texorpdfstring{\\}{ }with Task-Oriented Programming}
+\def\mysubtitle{a purely functional rhapsody}
+\def\myauthor{Mart Lubbers}
+\def\mydate{\formatdate{31}{12}{2022}}
+
\input{preamble}
\input{preamble}
-%
Just for the blind text, can go when it's finished
-\
usepackage{lipsum}
+%
To show hboxes even when in non-draft mode
+\
overfullrule=1pt
% Just for the todonotes, can go when it's finished
\usepackage{todonotes}
\setuptodonotes{
backgroundcolor=white,
linecolor=black,
% Just for the todonotes, can go when it's finished
\usepackage{todonotes}
\setuptodonotes{
backgroundcolor=white,
linecolor=black,
- size=scriptsize,
- inline,
+% size=tiny,
}
% Document info
}
% Document info
-\title{
Some title
}
-\author{
Some author
}
+\title{
\mytitle{} --- \mysubtitle{}
}
+\author{
Mart Lubbers
}
-\date{\
formatdate{1}{6}{2023}
}
+\date{\
mydate
}
\begin{document}
\begin{document}
+\selectlanguage{british}
+
\frontmatter%
\frontmatter%
-%\addtitlethumb{Frontmatter}{}{white}{gray}{pagesLTS.0}
+\frontmatterfancy%
%Titlepage
%Titlepage
-\input{titlepage}
+\hypertarget{titlepage}{}
+\bookmark[level=section,dest=titlepage]{Titlepage}
+\subfile{front/titlepage}
\newpage%
% Epigraph/motto
\newpage%
% Epigraph/motto
-\input{motto}
+\hypertarget{motto}{}
+\bookmark[level=section,dest=motto]{Motto}
+\subfile{front/motto}
% Table of contents
% Table of contents
+\setcounter{tocdepth}{1}
+\hypertarget{contents}{}
+\bookmark[level=section,dest=contents]{Contents}
\tableofcontents
\newpage%
% Dedication
\tableofcontents
\newpage%
% Dedication
-\
input{dedication
}
-
-\
listoftodos%
+\
hypertarget{dedication}{
}
+\bookmark[level=section,dest=dedication]{Dedication}
+\
subfile{front/dedication}
% Reset glossary and thus the acronyms
\glsresetall{}
% The actual document
\mainmatter%
% Reset glossary and thus the acronyms
\glsresetall{}
% The actual document
\mainmatter%
-\addthumb{Chapters}{\arabic{chapter}}{white}{gray}
+\mainmatterfancy%
+\setcounter{chapter}{-1}
-\chapter{Introduction}%
-\label{chp:introduction}
-\input{introduction}
+% Introduction
+\subfile{intro/intro}
-\part
{\glst{DSL}
}%
+\part
[\'Etude --- Domain-Specific Languages]{\'Etude\\[2ex]\smaller{}Domain-Specific Languages
}%
\label{prt:dsl}
\label{prt:dsl}
-\input{domain_specific_languages}
+\subfile{dsl/class} % Deep embedding with class
+\subfile{dsl/first} % First-class data types
-\part{
\glst{TOP}
}%
+\part{
Orchestrating the IoT using Task-Oriented Programming
}%
\label{prt:top}
\label{prt:top}
-\input{task_oriented_programming}
+\subfile{top/4iot} % TOP for the IoT
+\subfile{top/lang} % mTask DSL
+\subfile{top/int} % Integration with iTask
+\subfile{top/imp} % Implementation
+\subfile{top/green} % Green computing
-\part{\glst{IOT}}%
-\label{prt:iot}
-\input{internet_of_things}
+\part{Tiered vs.\ Tierless Programming}%
+\label{prt:tvt}
+\subfile{tvt/tvt} % Could Tierless Languages Reduce IoT Development Grief?
+
+% Conclusion
+\bookmarksetup{startatroot} % descend back out of the previous part
+\addtocontents{toc}{\bigskip}% Insert some whitespace to make the TOC better
+\subfile{concl/concl}
% Start appendix
\appendix%
\label{chp:appendix}
% Start appendix
\appendix%
\label{chp:appendix}
-\add
thumb{Appendices}{\Alph{chapter}}{white}{gray
}
+\add
contentsline{toc}{part}{Appendix
}
-\
chapter{An Appendix}%
-\
label{chp:an_appendi
x}
-\
input{an_appendix
}
+\
subfile{appx/c4hp}
+\
subfile{appx/mtask_au
x}
+\
subfile{appx/bytecode
}
\backmatter%
\backmatter%
-\
stopthumb% chktex 9
-\
addtitlethumb{Backmatter}{}{white}{gray}{pagesLTS.0}
+\
backmatterfancy%
+\
bookmarksetup{startatroot} % descend back out of the appendix
% Bibliography
\phantomsection{}%
\label{chp:bibliography}
\addcontentsline{toc}{chapter}{Bibliography}
% Bibliography
\phantomsection{}%
\label{chp:bibliography}
\addcontentsline{toc}{chapter}{Bibliography}
-\bibliographystyle{plain}
-\bibliography{thesis}
+\bibliography{other,self,tiot}
-% Abstract
-\chapter{Summary}%
-\label{chp:summary}
-\begin{center}
- \noindent\input{summary}
-\end{center}
+% Summary
+\subfile{back/summary}
% Samenvatting
% Samenvatting
-\chapter{Samenvatting}%
-\label{chp:samenvatting}
-\begin{center}
- \noindent\input{samenvatting}
-\end{center}
+\subfile{back/samenvatting}
% Acknowledgements
% Acknowledgements
-\chapter{Acknowledgements}%
-\label{chp:acknowledgements}
-\begin{center}
- \noindent\input{acknowledgements}
-\end{center}
+\subfile{back/acknowledgements}
-\chapter{Research Data Management}%
-\label{chp:research_data_management}
-\input{research_data_management}
+% Research data management
+\subfile{back/research_data_management}
-% Curriculum Vitae
-\chapter{Curriculum Vit\ae}%
-\label{chp:curriculum_vitae}
-\input{curriculum_vitae}
+% Curriculum vitæ
+\subfile{back/curriculum_vitae}
% Glossary
% Glossary
-\addcontentsline{toc}{chapter}{Glossary}%
-\label{chp:glossaries}
-\printglossaries%
-
-% Lists of
-\cleardoublepage{}
-\phantomsection{}%
-\label{chp:listsof...}
-\addcontentsline{toc}{chapter}{Lists of \ldots}
-\begingroup
-\let\clearpage\relax
-\let\cleardoublepage\relax
-\listoffigures%
-\listoftables%
-\listofalgorithms%
-\lstlistoflistings%
-\endgroup
+\printglossary[style=mcolindex]%
+\printglossary[type=\acronymtype,style=mcolindex]%
+
+%% Lists of
+%\cleardoublepage{}
+%\phantomsection{}%
+%\label{chp:listsof...}
+%\addcontentsline{toc}{chapter}{Lists of \ldots}
+%\begingroup
+%\let\clearpage\relax
+%\let\cleardoublepage\relax
+%\listoffigures%
+%\listoftables%
+%\listofalgorithms%
+%\lstlistoflistings%
+%\endgroup
% Index
% Index
-\addcontentsline{toc}{chapter}{Index}%
-\label{chp:index}
-\printindex
+
%
\addcontentsline{toc}{chapter}{Index}%
+
%
\label{chp:index}
+
%
\printindex
-\end{document}
% chktex 10
+\end{document}