repositories
/
msc-thesis1617.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
remove bloat
[msc-thesis1617.git]
/
methods.tex
diff --git
a/methods.tex
b/methods.tex
index
e510ecb
..
a4c9138
100644
(file)
--- 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}
\section{mTasks}
+\subsection{\gls{DSL}}
+
+\subsection{Shares}