From eac6f8e9367bfe72d3886bf86132a04212a50428 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 31 May 2021 15:22:28 +0200 Subject: [PATCH] morewrites, backrefs, structure --- .gitignore | 2 ++ domain_specific_languages.tex | 2 +- glossaries.tex | 2 +- internet_of_things.tex | 2 +- introduction.tex | 3 +++ latexmkrc | 2 ++ preamble.tex | 16 +++++++++++----- research_data_management.tex | 3 ++- thesis.tex | 11 +++++++---- titlepage.tex | 6 +++--- 10 files changed, 33 insertions(+), 16 deletions(-) diff --git a/.gitignore b/.gitignore index 6b8c4ca..e558c33 100644 --- a/.gitignore +++ b/.gitignore @@ -28,6 +28,8 @@ *.tmb *.toc *.vrb +*.mw +*.synctex.gz # documents *.dvi diff --git a/domain_specific_languages.tex b/domain_specific_languages.tex index 29749f2..5bd809b 100644 --- a/domain_specific_languages.tex +++ b/domain_specific_languages.tex @@ -1,7 +1,7 @@ \chapter{Tagless final embedding} Dit kan ook een section zijn in de volgende chapter, maar toch lijkt het mij nuttig. -\chapter{Class based deed embedding} +\chapter{Class based deep embedding} Pearl \chapter{The \gls{MTASK} language} diff --git a/glossaries.tex b/glossaries.tex index 35dc916..20cec65 100644 --- a/glossaries.tex +++ b/glossaries.tex @@ -2,7 +2,7 @@ \newacronym{IOT}{IoT}{internet of things} \newacronym{DSL}{DSL}{domain specific language} \newacronym{EDSL}{eDSL}{embedded \acrshort{DSL}} -\newacronym{TOP}{TOP}{task oriented programming} +\newacronym{TOP}{TOP}{task-oriented programming} % Glossaries \newglossaryentry{MTASK}{% diff --git a/internet_of_things.tex b/internet_of_things.tex index fdc976c..5cb6601 100644 --- a/internet_of_things.tex +++ b/internet_of_things.tex @@ -4,4 +4,4 @@ IOT2020 paper met Glasgow. TOPLAS paper met Glasgow. \chapter{Modelling naval scenaries using \acrshort{TOP} and \acrshort{IOT}} -Arjan's werk NLARMS? +Arjan's werk {NLARMS}? diff --git a/introduction.tex b/introduction.tex index 26973d0..0c025bc 100644 --- a/introduction.tex +++ b/introduction.tex @@ -8,11 +8,14 @@ Functional programming is \ldots \subsection{\Acrlong{TOP}} \Gls{TOP} is \ldots +\gls{ITASK} uses generic programming\index{generic programming} + \subsection{\Acrlongpl{DSL}} \Glspl{DSL} are \ldots \section{Thesis Outline} +\todo{reference correct chapters} Chapters 0 and 0 are based on the paper \emph{A Task-Based \acrshort{DSL} for Microcomputers}~\cite{koopman_task-based_2018}. Chapters 0 and 0 are based on the Master's thesis and paper \emph{\glst{TOP} and the \glst{IOT}}~\cite{lubbers_task_2017,lubbers_task_2018}. diff --git a/latexmkrc b/latexmkrc index 60fe43e..4325ab2 100644 --- a/latexmkrc +++ b/latexmkrc @@ -34,3 +34,5 @@ $bibtex_use = 2; $clean_ext .= ' %R.ist %R.xdy'; $show_time = 1; + +$pdf_mode = 1; diff --git a/preamble.tex b/preamble.tex index 49722c2..f842e92 100644 --- a/preamble.tex +++ b/preamble.tex @@ -14,6 +14,12 @@ % Font encoding \usepackage[T1]{fontenc} +% Less bad boxes +\usepackage{microtype} + +% No more room for a new \write +\usepackage{morewrites} + % Internationalisation \usepackage[british]{babel} @@ -22,16 +28,16 @@ \usepackage[titletoc]{appendix} % Hyperlinks -\usepackage{hyperref} +%\usepackage[pagebackref]{hyperref} +\usepackage[pagebackref]{hyperref} % Setup pdf parameters: TODO \hypersetup{% - pdftitle={}, - pdfauthor={M. Lubbers}, + pdftitle={\mytitle}, + pdfauthor={\myauthor}, pdfsubject={}, % pdfcreator={}, % pdfproducer={}, - pdfkeywords={}, - pagebackref, + pdfkeywords={task oriented programming, functional programming, domain specific languages, internet of things}, hidelinks, } diff --git a/research_data_management.tex b/research_data_management.tex index f73175a..c428273 100644 --- a/research_data_management.tex +++ b/research_data_management.tex @@ -1,6 +1,7 @@ -This thesis research has been carried out under the research data management policy of the Institute for Computing and Information Science of Radboud University, The Netherlands\footnote{\href{https://www.ru.nl/icis/research-data-management/}{ru.nl/icis/research-data-management/}, last accessed \formatdate{20}{1}{2020}.}. +This thesis research has been carried out under the research data management policy of the Institute for Computing and Information Science of Radboud University, the Netherlands\footnote{\href{https://www.ru.nl/icis/research-data-management/}{ru.nl/icis/research-data-management/}, last accessed \formatdate{20}{1}{2020}.}. The following research datasets have been produced during this PhD research: +\todo{reference correct chapters} \begin{itemize} \item Chapter 0: Koopman, dr.\ P.\ (Radboud University); Lubbers, M.\ (Radboud University); Plasmeijer, prof.~dr.~ir.\ R.\ (Radboud University) (2020): Source code for the mTask language. DANS.\ \href{https://doi.org/10.17026/dans-xx4-8zs9}{10.17026/dans-xx4-8zs9} \item Chapter 0: Lubbers, M.\ (Radboud University); Koopman, dr.\ P.\ (Radboud University); Plasmeijer, prof.~dr.~ir.\ R.\ (Radboud University) (2020): Source code for a simplified mTask language integrated with the iTask system. DANS.\ \href{https://doi.org/10.17026/dans-xv6-fvxd}{10.17026/dans-xv6-fvxd} diff --git a/thesis.tex b/thesis.tex index 3896bb4..77ba461 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1,5 +1,9 @@ \documentclass[twoside,10pt]{book} +\def\mytitle{Big Things for Tiny Computers} +\def\mysubtitle{Task Oriented Programming for the Internet of Things} +\def\myauthor{Mart Lubbers} + \input{preamble} % Just for the blind text, can go when it's finished @@ -15,8 +19,8 @@ } % Document info -\title{Some title} -\author{Some author} +\title{\mytitle{} --- \mysubtitle{}} +\author{Mart Lubbers} \date{\formatdate{1}{6}{2023}} @@ -73,7 +77,6 @@ \input{an_appendix} \backmatter% -\stopthumb% chktex 9 \addtitlethumb{Backmatter}{}{white}{gray}{pagesLTS.0} % Bibliography @@ -137,4 +140,4 @@ \label{chp:index} \printindex -\end{document} % chktex 10 +\end{document} diff --git a/titlepage.tex b/titlepage.tex index dc0ae9f..23b9eca 100644 --- a/titlepage.tex +++ b/titlepage.tex @@ -3,11 +3,11 @@ \begin{center} \vspace*{3.5cm} - \LARGE{\textsc{Task Oriented Programming and the Internet of Things}} + \LARGE{\textsc{\mytitle}} \vspace*{15pt} - \large{\textsc{Subtitle}} + \large{\textsc{\mysubtitle}} \vspace*{5pt} @@ -37,7 +37,7 @@ \vspace{0.5cm} - Mart Lubbers\\ + \myauthor\\ geboren op 27 mei 1992 te Oldenzaal, Nederland \end{center} -- 2.20.1