moved intro to abstract, added refs, test listing
[msc-thesis1617.git] / theoretical-framework.tex
1 \section{\acrlong{TOP}}
2
3
4 \begin{lstlisting}[language=Clean,label={lst:test},caption={Caption}]
5 module Life
6
7 Start :: *World -> *World
8 Start w = w
9 \end{lstlisting}
10
11 \gls{TOP} is a recent new programming paradigm implemented as
12 \gls{iTasks}~\cite{achten_introduction_2015} in
13 the pure lazy functional language \gls{Clean}
14
15 \todo{Main terms}
16 The lazy functional programming language based on graph rewriting
17 \gls{Clean}~\cite{brus_cleanlanguage_1987}
18
19 \section{\acrlong{DSL}s}
20
21