diff options
Diffstat (limited to 'thesis/terms.tex')
-rw-r--r-- | thesis/terms.tex | 24 |
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} |