X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=methods.tex;h=a4c9138e94693f7defee7373356fe411d9134ab3;hb=7910fda15825b983fd6b1309b07872616cc6367b;hp=e510ecbe898a66943bd257ece7c14d6594f828bf;hpb=c3f505fc05f88dd9b36b433b615de6be08977601;p=msc-thesis1617.git diff --git a/methods.tex b/methods.tex index e510ecb..a4c9138 100644 --- a/methods.tex +++ b/methods.tex @@ -1,5 +1,21 @@ +\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{What is IoT} -\todo{What is top} +\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} \section{mTasks} +\subsection{\gls{DSL}} + +\subsection{Shares}