From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 15 May 2017 11:03:44 +0000 (+0200)
Subject: add cites
X-Git-Tag: hand-in~127
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=d6597e0f75fe3f156ca05fcc0903fd9f60a64396;p=msc-thesis1617.git

add cites
---

diff --git a/.chktexrc b/.chktexrc
new file mode 100644
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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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}