fix and elaborate upon parametric lenses

[msc-thesis1617.git] / abstract.tex

diff --git a/abstract.tex b/abstract.tex
index c4bb5e4..3e40f04 100644 (file)
--- a/abstract.tex
+++ b/abstract.tex
@@ -1,7 +1,7 @@
-This thesis presents a way to connect small \gls{IoT} devices with high level
-\gls{TOP} implementations languages. It shows how a new frontend for the class
-based shallowly \gls{EDSL} called \gls{mTask} written in \gls{Clean}
-can be used to compile \gls{IoT}-tasks on the fly and send them to devices
-as interpretable bytecode. All of this adheres to the \gls{TOP} philosophy
-where familiar concepts such as \glspl{SDS} and task-combinators are available
-at ease.
+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.