From 4a3a621122fc747cdf156468efd3c06f896f70dc Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 26 Jun 2017 12:55:36 +0200 Subject: [PATCH] fix label --- results.mtask.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.20.1