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
e94ba89
..
d0ed9bc
100644
(file)
--- a/
thesis.tex
+++ b/
thesis.tex
@@
-1,24
+1,21
@@
\documentclass[twoside,10pt]{book}
\documentclass[twoside,10pt]{book}
-\def\mytitle{
Big Things for Tiny Computers
}
-\def\mysubtitle{
Task-Oriented Programming for the Internet of Things
}
+\def\mytitle{
Orchestrating the Internet of Things\texorpdfstring{\\}{ }with Task-Oriented Programming
}
+\def\mysubtitle{
a purely functional rhapsody
}
\def\myauthor{Mart Lubbers}
\def\myauthor{Mart Lubbers}
-\def\mydate{\formatdate{
1}{6}{2023
}}
+\def\mydate{\formatdate{
31}{12}{2022
}}
\input{preamble}
% To show hboxes even when in non-draft mode
\input{preamble}
% To show hboxes even when in non-draft mode
-\overfullrule=1mm
-
-% Just for the blind text, can go when it's finished
-\usepackage{lipsum}
+\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
,
+
% size=tiny
,
}
% Document info
}
% Document info
@@
-28,120
+25,122
@@
\date{\mydate}
\begin{document}
\date{\mydate}
\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}
\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{\glsentrytext{CLEAN} for \glsentrytext{HASKELL} Programmers}%
-\
label{chp:clean_for_haskell_programmers
}
-\
input{appendix/clean_for_haskell_programmers.tex
}
+\
subfile{appx/c4hp}
+\
subfile{appx/mtask_aux
}
+\
subfile{appx/bytecode
}
\backmatter%
\backmatter%
-\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{alpha}
-\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}
\end{document}