From d6597e0f75fe3f156ca05fcc0903fd9f60a64396 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 15 May 2017 13:03:44 +0200
Subject: [PATCH] add cites
---
.chktexrc | 7 +++++++
methods.arch.tex | 2 +-
methods.dsl.tex | 9 +++++----
methods.top.tex | 6 ++++--
thesis.bib | 12 ++++++++++++
thesis.pre | 34 +++++++++++++++++-----------------
thesis.tex | 20 +++++++++++++-------
7 files changed, 59 insertions(+), 31 deletions(-)
create mode 100644 .chktexrc
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}
--
2.20.1