add cites

diff --git a/.chktexrc b/.chktexrc
new file mode 100644 (file)
index 0000000..a9f06b0
--- /dev/null
+++ b/.chktexrc
@@ -0,0 +1,7 @@
+VerbEnvir { lstlisting }
+WipeArg {
+       \CI:{}
+       \texttt:{}
+       \url:{}
+}
+

diff --git a/methods.arch.tex b/methods.arch.tex
index 226bc40..b556398 100644 (file)
--- a/methods.arch.tex
+++ b/methods.arch.tex
@@ -26,7 +26,7 @@ the device software.
        \item Microcontrollers programmable by the \emph{Arduino} \gls{IDE}.\\
                
                This does not only include \emph{Arduino} compatible boards but also
-               other boards capable of running compiled \emph{Arduino} code. The code
+               other boards capable of running \emph{Arduino} code. The code
                has been found working on the \texttt{ESP8266} powered \emph{NodeMCU}.
                It is tested on devices as small as the regular \emph{Arduino UNO}
                board that only boasts a meager \emph{2K} of \emph{RAM}.

diff --git a/methods.dsl.tex b/methods.dsl.tex
index bf9953f..9b8bf48 100644 (file)
--- a/methods.dsl.tex
+++ b/methods.dsl.tex
@@ -31,10 +31,11 @@ individually for all views.
 
 The first downside of the type of \gls{EDSL} can be overcome by using
 \glspl{GADT}\cite{cheney_first-class_2003}. Listing~\ref{lst:exdeepgadt} shows
-the same language, but type-safe with a \gls{GADT}\footnote{\glspl{GADT} are
-not supported in the current version of \gls{Clean} and therefore the syntax is
-artificial. However, \glspl{GADT} can be simulated using bimaps}. Unfortunately
-the lack of extendability stays a problem. If a language construct is added no
+the same language, but type-safe with a \gls{GADT}. \glspl{GADT} are not
+supported in the current version of \gls{Clean} and therefore the syntax is
+artificial. However, it has been shown that \glspl{GADT} can be simulated using
+bimaps or projection pairs\cite{cheney_lightweight_2002}. Unfortunately the
+lack of extendability stays a problem. If a language construct is added no
 compile time guarantee is given that all views support it.
 
 \begin{lstlisting}[language=Clean,label={lst:exdeepgadt},%

diff --git a/methods.top.tex b/methods.top.tex
index 982ac24..9777db5 100644 (file)
--- a/methods.top.tex
+++ b/methods.top.tex
@@ -16,9 +16,11 @@ A simple \gls{iTasks} example illustrating the route to stability of a
 Listing~\ref{lst:taskex}. The code is accompanied by screenshots showing the
 user interface in Figure~\ref{fig:taskex1},~\ref{fig:taskex2}
 and~\ref{fig:taskex3}. The \CI{TaskValue} of the \gls{Task} is in the first
-image in the \CI{NoValue} state, the second and third image have an
+image in the \CI{NoValue} state, the second image does not have all the fields
+filled in and therefore the \CI{TaskValue} remains \CI{Unstable}. In the third
+image all fields are entered and the \CI{TaskValue} transitions to the
 \CI{Unstable} state. When the user presses \emph{Continue} the value becomes
-\CI{Stable}.
+\CI{Stable} and can not be changed any further.
 
 \begin{figure}[H]
        \centering

diff --git a/thesis.bib b/thesis.bib
index c11c597..fc0050d 100644 (file)
--- a/thesis.bib
+++ b/thesis.bib
@@ -134,4 +134,16 @@
        author = {Cheney, James and Hinze, Ralf},
        year = {2003},
        file = {https\://ecommons.cornell.edu/bitstream/handle/1813/5614/?sequence=1:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/R5IFMHTP/5614.pdf:application/pdf}
+}
+
+@inproceedings{cheney_lightweight_2002,
+       title = {A lightweight implementation of generics and dynamics},
+       url = {http://dl.acm.org/citation.cfm?id=581698},
+       urldate = {2017-05-15},
+       booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} workshop on {Haskell}},
+       publisher = {ACM},
+       author = {Cheney, James and Hinze, Ralf},
+       year = {2002},
+       pages = {90--104},
+       file = {HW02.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/A8Z49NK6/HW02.pdf:application/pdf}
 }
\ No newline at end of file

diff --git a/thesis.pre b/thesis.pre
index 9c362f9..8f384f2 100644 (file)
--- a/thesis.pre
+++ b/thesis.pre
@@ -55,23 +55,23 @@
                {\\}{{$\lambda\:$}}1
                {A.}{{$\forall\;\,$}}1
                {E.}{{$\exists\;\,$}}1
-               {>}{{$>$}}1
-               {<}{{$<$}}1
-               {<=}{{$\leq$}}1
-               {>=}{{$\geq$}}1
-               {<>}{{$\neq$}}1
-               {->}{{$\rightarrow$}}2
-               {<-}{{$\leftarrow$}}1
-               {=}{{$=$}}1
-               {~}{{$\sim$}}1
-               {\#}{{$\sharp$}}1
-               {\{|}{{$\{\!|\!$}}1
-               {|\}}{{$\!|\!\}$}}1
-               {:=}{{$:=$}}2
-               {==}{{$==$}}2
-               {++}{{$+\!\!+$}}2
-               {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
-               {:==}{{$:==$}}3
+%              {>}{{$>$}}1
+%              {<}{{$<$}}1
+%              {<=}{{$\leq$}}1
+%              {>=}{{$\geq$}}1
+%              {<>}{{$\neq$}}1
+%              {->}{{$\rightarrow$}}2
+%              {<-}{{$\leftarrow$}}1
+%              {=}{{$=$}}1
+%              {~}{{$\sim$}}1
+%              {\#}{{$\sharp$}}1
+%              {\{|}{{$\{\!|\!$}}1
+%              {|\}}{{$\!|\!\}$}}1
+%              {:=}{{$:=$}}2
+%              {==}{{$==$}}2
+%              {++}{{$+\!\!+$}}2
+%              {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
+%              {:==}{{$:==$}}3
                {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
                %
                % Basic iTask constructs

diff --git a/thesis.tex b/thesis.tex
index c4aaa01..e4b599c 100644 (file)
--- a/thesis.tex
+++ b/thesis.tex
@@ -1,5 +1,5 @@
 %&thesis
-\usepackage[nonumberlist,acronyms]{glossaries}
+\usepackage[toc,nonumberlist,acronyms]{glossaries}
 \makeglossaries%
 
 \newacronym{GADT}{GADT}{Generalized Algebraic Datatype}
@@ -38,6 +38,8 @@
        righttext={prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\dr.~P.W.M.~Koopman}]
 \listoftodos[Todo]
 
+\glsaddall{}
+
 %Abstract
 \chapter*{\centering Abstract}
 \begin{quotation}
@@ -54,10 +56,6 @@
 %Table of contents
 \tableofcontents
 
-%Glossaries
-\glsaddall{}
-\printglossaries%
-
 \mainmatter{}
 \glsresetall
 \chapter{Introduction}\label{chp:introduction}
@@ -79,9 +77,17 @@
 \chapter{Device client interface}\label{app:device-interface}
 \input{appendix-device-interface.tex}
 
+\cleardoublepage
+\phantomsection
+\addcontentsline{toc}{chapter}{\listfigurename}
+\listoffigures
+
+\phantomsection
+\addcontentsline{toc}{chapter}{\listtablename}
+\listoftables
+
 \lstlistoflistings{}
-\listoffigures{}
-\listoftables{}
+\printglossaries%
 
 \bibliographystyle{ieeetr}
 \bibliography{thesis}