X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=methods.tex;h=2c8e198ec255c07a5d705f14cceb0e35a0f75472;hb=0318eb1b212df7d3980f268f03429936d2f1d617;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}