Fixed some todos

4 files changed, 23 insertions, 6 deletions

diff --git a/thesis/preamble.tex b/thesis/preamble.tex
index 81673d8..9f07f6b 100644
--- a/thesis/preamble.tex
+++ b/thesis/preamble.tex
@@ -31,6 +31,8 @@
 \crefname{figure}{figure}{figures}
 
 \usepackage[style=authoryear,backend=biber]{biblatex}
+% See http://tex.stackexchange.com/a/40750/23992
+\DeclareRobustCommand{\VAN}[1]{Van #1}
 \bibliography{thesis}
 \renewcommand\nameyeardelim{, }
 \DefineBibliographyStrings{english}{%
diff --git a/thesis/terms.tex b/thesis/terms.tex
index bb5e6a1..4104875 100644
--- a/thesis/terms.tex
+++ b/thesis/terms.tex
@@ -21,8 +21,8 @@
 	\item[SP]
 		Stack pointer, \ual{r13} on ARM.
 	\item[UAL]
-		Unified Assembler Language.
-		\todo{reference, more explanation.}
+		Unified Assembler Language, an assembly language syntax that
+			\enquote{provides a canonical form for all ARM and Thumb instructions} \parencite[A4.2]{armv7m}.
 \end{description}
 
 \end{multicols}
diff --git a/thesis/thesis.bib b/thesis/thesis.bib
index 279fbd3..f43bc26 100644
--- a/thesis/thesis.bib
+++ b/thesis/thesis.bib
@@ -19,6 +19,20 @@
 	year=2013
 }
 
+@manual{armcallstd,
+	label="ARM Ltd.",
+	key="ARM Ltd. 2015",
+	title="Procedure Call Standard for the ARM Architecture",
+	year=2015
+}
+
+@manual{cleanlangrep,
+	title="Clean Language Report. Version 2.2",
+	year=2011,
+	author={Rinus Plasmeijer and Marco {\VAN{Eekelen}} and John {\VAN{Groningen}}},
+	organization="Department of Software Technology, University of Nijmegen"
+}
+
 @Online{clean,
 	label="Software Technology Research Group",
 	key="Software Technology Research Group",
@@ -31,7 +45,7 @@
 
 @article{lean,
 	title="LEAN: an Intermediate Language based on Graph Rewriting",
-	author={H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W. Glauert and J.R. Kennaway and M.J. Plasmeijer and M.R. Sleep},
+	author={H.P. Barendregt and M.C.J.D. {\VAN{Eekelen}} and J.R.W. Glauert and J.R. Kennaway and M.J. Plasmeijer and M.R. Sleep},
 	journal="Parallel Computing 9",
 	year=1988
 }
@@ -45,7 +59,7 @@
 
 @mastersthesis{m680x0,
 	title="Implementing the ABC-machine on M680x0 based architectures",
-	author="J. van Groningen",
+	author="John {\VAN{Groningen}}",
 	school="Radboud University Nijmegen",
 	year=1990
 }
diff --git a/thesis/thesis.tex b/thesis/thesis.tex
index cdc4d2c..9e320c2 100644
--- a/thesis/thesis.tex
+++ b/thesis/thesis.tex
@@ -28,14 +28,13 @@ We discuss the differences between the ARM and Thumb-2 instruction sets,
 Specifically, we look at code generation for the purely functional programming language Clean.
 The code generator proposed here can be used in situations where small code size is important,
 	and on devices where the ARM instruction set is not available, like the Cortex-M series.
-\todo{results, efficiency, etc.}
+It produces on average 20\% smaller code than the ARM code generator, which is only around 4\% slower.
 \end{abstract}
 
 \ifdraft\else
 \cleardoublepage
 \fi
 
-%\setcounter{tocdepth}{2}
 \ifdraft
 	\begin{multicols}{2}
 		\tableofcontents
@@ -70,6 +69,8 @@ The code generator proposed here can be used in situations where small code size
 
 \let\oldurl\url
 \renewcommand{\url}[1]{{\small\oldurl{#1}}}
+% See http://tex.stackexchange.com/a/40750/23992
+\DeclareRobustCommand{\VAN}[1]{van #1}
 \phantomsection\addcontentsline{toc}{section}{\bibname}
 \printbibliography