From: Mart Lubbers 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;ds=sidebyside;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}