remove bloat

diff --git a/clean.sty b/clean.sty
deleted file mode 100644 (file)
index cc17f09..0000000
--- a/clean.sty
+++ /dev/null
@@ -1,70 +0,0 @@
-\usepackage{listings}
-
-\lstdefinelanguage{Clean}{%
-       alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
-       alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
-       morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive},
-       sensitive=true,
-       morecomment=[l]{//},
-       morecomment=[n]{/*}{*/},
-       morestring=[b]",
-       morestring=[b]',
-       emptylines=1,
-       basicstyle=\small,
-       identifierstyle=\small\ttfamily,
-       commentstyle=\itshape,
-       keywordstyle=\bfseries,
-       stringstyle=\ttfamily,
-       numbers=none,
-       showstringspaces=false,
-       basewidth=0.45em,
-       columns=[c]fixed,
-       keepspaces=true,
-       breaklines=false,
-       tabsize=4,
-       texcl=true,
-       escapeinside={(\#}{\#)},
-       literate=%
-               % Basic Clean constructs
-               {\\}{{$\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
-               {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
-               %
-               % Basic iTask constructs
-               {>||>}{{$\triangleright\triangleright$}}2
-               {>>=}{{\texttt{>>=}}}3
-               {>>|}{{\texttt{>>|}}}3
-               {?>>}{{\texttt{?>>}}}3
-               {!>>}{{\texttt{!>>}}}3
-               {-||-}{{\texttt{-||-}}}4
-               {.||.}{{\texttt{.||.}}}4
-               {.&&.}{{\texttt{.\&\&.}}}4
-}
-
-\newcommand{\CleanInline}[1]{\lstinline[language=Clean]¦#1¦}
-\newcommand{\CI}[1]{\CleanInline{#1}}
-
-\lstdefinestyle{numbers}{numbers=left, stepnumber=1, numberstyle=\tiny, numbersep=5pt}
-
-\lstnewenvironment{CleanCode}{\lstset{language=Clean,identifierstyle=\ttfamily}}{}
-\lstnewenvironment{CleanCodeN}{\lstset{language=Clean,style=numbers}}{}
-\lstnewenvironment{CleanCodeB}{\lstset{language=Clean,frame=single}}{}
-\lstnewenvironment{CleanCodeNB}{\lstset{language=Clean,style=numbers,frame=single}}{}

diff --git a/introduction.tex b/introduction.tex
index 1b184ee..4352f6e 100644 (file)
--- a/introduction.tex
+++ b/introduction.tex
@@ -5,28 +5,27 @@ been shown to be useful in fields such as incident
 management~\cite{lijnse_top_2013}. However, there still lacks support for small
 devices to be added in the workflow. In principle such adapters can be written
 as \glspl{SDS}\footnote{Similar as to resources such as time are available in
-the current system} but this requires a very specific adapter to be written for
-every device and functionality. Oortgiese et al.\ lifted \gls{iTasks} from a
-single server model to a distributed server architecture~\todo{Add cite} that
-is also runnable on smaller devices like \acrshort{ARM}. However, this is
-limited to fairly high performance devices that are equipped with high speed
-communication lines.  Devices in \gls{IoT} often only have LPLB communication
-with low bandwidth and a very limited amount of processing power. \glspl{mTask}
-will bridge this gap.  It can run on devices as small as Arduino
-microcontrollers and operates via the same paradigms as regular \glspl{Task}.
-The \glspl{mTask} have access to \glspl{SDS} and can run small imperative
-programs.
+the current \gls{iTasks} implementation} but this requires a very specific
+adapter to be written for every device and functionality. Oortgiese et al.\
+lifted \gls{iTasks} from a single server model to a distributed server
+architecture~\todo{Add cite} that is also runnable on smaller devices like
+\acrshort{ARM}. However, this is limited to fairly high performance devices
+that are equipped with high speed communication lines. Devices in \gls{IoT}
+often only have LPLB communication with low bandwidth and a very limited amount
+of processing power. \glspl{mTask} will bridge this gap. It can run on devices
+as small as Arduino microcontrollers and operates via the same paradigms as
+regular \glspl{Task}. The \glspl{mTask} have access to \glspl{SDS} and can run
+small imperative programs.
 
 \section{Problem statement}
+Therefore the problem statement is as follows:
 
 \section{Document structure}
 The structure of the thesis is as follows.
 Chapter~\ref{chp:introduction} contains the problem statement, motivation and
 the structure of the document
-Chapter~\ref{chp:theoretical-framework} introduces the reader with all the
-terminology and techniques lying at the foundation of the study.
-Chapter~\ref{chp:methods} will describe the actual techniques used for the
-integration.
+Chapter~\ref{chp:methods} describes the foundations on which the implementation
+is built together with the new techniques introduced.
 Chapter~\ref{chp:results} shows the results in the form of an example
 application accompanied with implementation.
 Chapter~\ref{chp:conclusion} concludes by answering the research question (s)

diff --git a/methods.tex b/methods.tex
index 9726a2f..a4c9138 100644 (file)
--- a/methods.tex
+++ b/methods.tex
@@ -1,4 +1,16 @@
+\section{\acrlong{TOP}}
+\gls{TOP} is a recent new programming paradigm implemented as
+\gls{iTasks}~\cite{achten_introduction_2015} in
+the pure lazy functional language \gls{Clean}
+
+\todo{Main terms}
+The lazy functional programming language based on graph rewriting
+\gls{Clean}~\cite{brus_cleanlanguage_1987}
+
+\section{\acrlong{DSL}s}
+
 \section{Devices}
+
 \subsection{Specification}
 
 \subsection{Communication}

diff --git a/thesis.tex b/thesis.tex
index 904c7e7..b447d2f 100644 (file)
--- a/thesis.tex
+++ b/thesis.tex
@@ -56,9 +56,6 @@
 \chapter{Introduction}\label{chp:introduction}
 \input{introduction.tex}
 
-\chapter{Theoretical Framework}\label{chp:theoretical-framework}
-\input{theoretical-framework.tex}
-
 \chapter{Methods}\label{chp:methods}
 \input{methods.tex}