From 5fef9ca5f782e58aca5c019c71db675e16138b4d Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 21 Jun 2017 20:29:14 +0200 Subject: [PATCH] fix overfull hboxes and references --- conclusion.tex | 2 +- results.arch.tex | 2 +- results.itasks.tex | 4 ++-- results.mtask.tex | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/conclusion.tex b/conclusion.tex index d300c35..1b2e533 100644 --- a/conclusion.tex +++ b/conclusion.tex @@ -68,7 +68,7 @@ flow between \gls{mTask}-\glspl{Task}. In this way the new system follows the mentioned extension such as the parallel combinator. Others might be achieved using simple syntactic transformations. -\paragraph{Launch \glspl{Task} from a \gls{Task}: } +\paragraph{Launch \glspl{Task} from a \gls{Task}: }\label{par:tasklaunch} Currently the \gls{C}-view allows \glspl{Task} to launch other \glspl{Task}. In the current system this type of logic has to take place server side. Adding this functionality to the bytecode-view allows greater flexibility, easier diff --git a/results.arch.tex b/results.arch.tex index 1e57c62..d5e975d 100644 --- a/results.arch.tex +++ b/results.arch.tex @@ -54,7 +54,7 @@ the device software. This is tested in particular on the \texttt{STM32f7x} series \gls{ARM} development board. - \item Microcontrollers programmable by the \gls{Arduino} \gls{IDE}.\\ + \item Microcontrollers who are programmable in the \gls{Arduino} \gls{IDE}.\\ This does not only include \gls{Arduino} compatible boards but also other boards capable of running \gls{Arduino} code. The code diff --git a/results.itasks.tex b/results.itasks.tex index aabc569..f157d20 100644 --- a/results.itasks.tex +++ b/results.itasks.tex @@ -35,7 +35,7 @@ a device after a restart of the server application. \begin{figure}[H] \centering \includegraphics[width=\linewidth]{manage} - \caption{The device management interface}\label{lst:manageme} + \caption{The device management interface}\label{lst:manage} \end{figure} \section{Shares} @@ -84,7 +84,7 @@ This allows the programmer to create filters and lenses. Both of the methods are not good enough for the device \gls{SDS} because they do not achieve the writing to the actual device. Writing to a device requires being able to write to \glspl{SDS}. To solve this problem, a real base \gls{SDS} is created. All -the details are visible in Listing~\ref{shareimpl}. +the details are visible in Listing~\ref{lst:shareimpl}. \begin{lstlisting}[label={lst:shareimpl},% caption={Base share implementation}] diff --git a/results.mtask.tex b/results.mtask.tex index 20a51f1..888b0d6 100644 --- a/results.mtask.tex +++ b/results.mtask.tex @@ -151,7 +151,7 @@ and avoid label lookups at runtime. | BCReturn \end{lstlisting} -All single byte instructions can be converted automatically using the generic +All single byte instructions are converted automatically using the generic function \CI{consIndex} which returns the index of the constructor. The index of the constructor is the byte value for all instructions. The last step of the compilation is transforming the list of bytecode instructions to actual bytes. -- 2.20.1