1 files changed, 24 insertions, 0 deletions
diff --git a/thesis/terms.tex b/thesis/terms.tex
new file mode 100644
index 0000000..707b956
--- /dev/null
+++ b/thesis/terms.tex
@@ -0,0 +1,24 @@
+\section{Terminology}
+\label{sec:terminology}
+
+\begin{description}
+	\item[HNF]
+		Head normal form, the state of a graph node that cannot be rewritten itself (though it children may).
+	\item[ISA]
+		Instruction set architecture.
+	\item[IT block]
+		If-then block, a Thumb construct for conditional execution.
+	\item[LSB(s)]
+		Least significant bit(s), the bit(s) with the lowest value in a word.
+	\item[PC]
+		Program counter, \ual{r15} on ARM.
+	\item[RTS]
+		Run-time system.
+		Clean's run-time system ensures that the \clean{Start} node is reduced and printed.
+		It also takes care of garbage collecting.
+	\item[SP]
+		Stack pointer, \ual{r13} on ARM.
+	\item[UAL]
+		Unified Assembler Language.
+		\todo{reference, more explanation.}
+\end{description}