fix and elaborate upon parametric lenses

[msc-thesis1617.git] / abstract.tex

diff --git a/abstract.tex b/abstract.tex
index f6276be..3e40f04 100644 (file)
--- a/abstract.tex
+++ b/abstract.tex
@@ -1 +1,7 @@
-\lipsum[1]
+This thesis introduces a way to connect small \gls{IoT} devices with high level
+\gls{TOP} implementations languages. It demonstrates how a new frontend for the
+class-based shallowly \gls{EDSL} called \gls{mTask} written in \gls{Clean} can
+be employed to compile \gls{IoT}-\glspl{Task} on the fly and send them to
+devices as interpretable bytecode. All of which adheres to the \gls{TOP}
+philosophy where common concepts such as \glspl{SDS} and \gls{Task}-combinators
+are available at ease.