X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=results.mtask.tex;h=1872019b9d20e007864d68481213f27f88427ec5;hb=7d430f47a575566d56625b3e8641fb78171a1f08;hp=3732f4b3622d84bc30cc8d7cb649df7f363046b8;hpb=9d9da1b936da6835c4f76d8d4120673d93af45ce;p=msc-thesis1617.git diff --git a/results.mtask.tex b/results.mtask.tex index 3732f4b..1872019 100644 --- a/results.mtask.tex +++ b/results.mtask.tex @@ -66,7 +66,7 @@ The \glspl{mTask} are sent to the device in bytecode and are saved in the memory of the device. To compile the \gls{EDSL} code to bytecode, a view is added to the \gls{mTask}-system encapsulated in the type \CI{ByteCode}. As shown in Listing~\ref{lst:bcview}, the \CI{ByteCode} view is a boxed \gls{RWST} -that writes bytecode instructions (\CI{BC}, Subsection~\label{sec:instruction}) +that writes bytecode instructions (\CI{BC}, Subsection~\ref{sec:instruction}) while carrying around a \CI{BCState}. The state is kept between compilations and is unique to a device. The state contains fresh variable names and a register of \glspl{SDS} that are used.