summaryrefslogtreecommitdiff
path: root/thesis/terms.tex
diff options
context:
space:
mode:
Diffstat (limited to 'thesis/terms.tex')
-rw-r--r--thesis/terms.tex24
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}