\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}}
+\def\mydate{\formatdate{1}{2}{2023}}
\input{preamble}
% To show hboxes even when in non-draft mode
-\overfullrule=1pt
+%\overfullrule=1pt
+\showboxdepth=\maxdimen%
+\showboxbreadth=\maxdimen%
+% \showboxdepth=5
+% \showboxbreadth=5
+\setlength{\overfullrule}{20pt}
% Just for the todonotes, can go when it's finished
\usepackage{todonotes}
}
% Document info
-\title{\mytitle{} --- \mysubtitle{}}
+\title{\mytitle\texorpdfstring{\\[2ex]}{---}\smaller\mysubtitle}
\author{Mart Lubbers}
-
\date{\mydate}
\begin{document}
\subfile{dsl/class} % Deep embedding with class
\subfile{dsl/first} % First-class data types
-\part[Oratorio --- Task-Oriented Programming for the Internet of Things]{Oratorio\\[2ex]\smaller{}Task-Oriented Programming for the Internet of Things}%
+\part[\hspace{-8.28992pt}Orchestrating the Internet of Things using Task-Oriented Programming]{\\[2ex]\smaller{}Orchestrating the Internet of Things using Task-Oriented Programming}%
\label{prt:top}
\subfile{top/4iot} % TOP for the IoT
\subfile{top/lang} % mTask DSL
-\subfile{top/int} % Integration with iTask
\subfile{top/imp} % Implementation
+\subfile{top/int} % Integration with iTask
\subfile{top/green} % Green computing
+\subfile{top/finale} % Conclusion
-\part[Variations --- Tiered vs.\ Tierless Programming]{Transformation\\[2ex]\smaller{}Tiered vs.\ Tierless Programming}%
+\part[Tiered versus Tierless Programming]{\\[2ex]\smaller{}Tiered versus Tierless Programming}%
\label{prt:tvt}
\subfile{tvt/tvt} % Could Tierless Languages Reduce IoT Development Grief?