migrate to biblatex

[phd-thesis.git] / appx / bytecode.tex

diff --git a/appx/bytecode.tex b/appx/bytecode.tex
index 12e1c82..234f7e7 100644 (file)
--- a/appx/bytecode.tex
+++ b/appx/bytecode.tex
@@ -2,15 +2,18 @@
 
 \input{subfilepreamble}
 
-
 \begin{document}
 \input{subfileprefix}
 \ifSubfilesClassLoaded{\appendix\setcounter{chapter}{2}}{}
 \chapter{Bytecode instruction set}%
 \label{chp:bytecode_instruction_set}%
-This appendix describeds the semantics of the byte code instruction set of \gls{MTASK} (see \cref{chp:implementation}).
+Tasks in \gls{MTASK} are compiled at run time to byte code.
+This byte code is evaluated using the interpreter.
+The result of this evaluation is a task tree.
+Subsequently, this task tree is rewritten until a stable value is observed.
+This appendix describes the semantics of the byte code instruction set of \gls{MTASK} (see \cref{chp:implementation}).
 The byte code instructions are of variable length and automatically encoded and decoded using generic programming (see \cref{sec:ccodegen}).
-\Cref{tbl:bc_notation} shows the notation convention.
+\Cref{tbl:bc_notation} shows the notational convention of the variables used in the table.
 \Cref{tbl:instr_task} shows the semantics of all major byte code instructions, shorthand instructions and auxiliary peripherals have been omitted for brevity but have the analogous semantics as their counterparts.
 
 \begin{table}
@@ -37,12 +40,12 @@ The byte code instructions are of variable length and automatically encoded and
 
 \begin{landscape}
        \begin{longtable}[c]{lllll}
-               \caption{Semantics for the bytecode instructions\label{tbl:instr_task}}\\
+               \caption{Semantics for the bytecode instructions.\label{tbl:instr_task}}\\
                \toprule
                Instruction & Arguments & Semantics & $sp$ & $pc$\\
                \midrule
                \endfirsthead%
-               \caption{Semantics for the bytecode instructions (cont.)}\\
+               \caption{Semantics for the bytecode instructions. (continued)}\\
                \toprule
                Instruction & Arguments & Semantics & $sp$ & $pc$\\
                \midrule