restructure results

[msc-thesis1617.git] / methods.tex

diff --git a/methods.tex b/methods.tex
index a4c9138..9436474 100644 (file)
--- a/methods.tex
+++ b/methods.tex
@@ -1,21 +1,3 @@
-\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}
-
-\section{\acrlong{DSL}s}
-
-\section{Devices}
-
-\subsection{Specification}
-
-\subsection{Communication}
-
-\section{mTasks}
-\subsection{\gls{DSL}}
-
-\subsection{Shares}
+\input{methods.dsl.tex}