X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=methods.tex;h=2c8e198ec255c07a5d705f14cceb0e35a0f75472;hb=96c38eaced38e4a3cb8df44ec54b778a1dc11b24;hp=a4c9138e94693f7defee7373356fe411d9134ab3;hpb=7910fda15825b983fd6b1309b07872616cc6367b;p=msc-thesis1617.git diff --git a/methods.tex b/methods.tex index a4c9138..2c8e198 100644 --- a/methods.tex +++ b/methods.tex @@ -1,21 +1,5 @@ -\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} +\input{methods.top.tex} -\todo{Main terms} -The lazy functional programming language based on graph rewriting -\gls{Clean}~\cite{brus_cleanlanguage_1987} +\input{methods.dsl.tex} -\section{\acrlong{DSL}s} - -\section{Devices} - -\subsection{Specification} - -\subsection{Communication} - -\section{mTasks} -\subsection{\gls{DSL}} - -\subsection{Shares} +\input{methods.mtask.tex}