repositories
/
msc-thesis1617.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
update
[msc-thesis1617.git]
/
methods.tex
diff --git
a/methods.tex
b/methods.tex
index
a4c9138
..
2c8e198
100644
(file)
--- 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}