myriad of typos
[phd-thesis.git] / concl / concl.tex
index 26db23f..5a75075 100644 (file)
@@ -26,10 +26,10 @@ Furthermore, \gls{IOT} systems become convoluted because they are dynamic, multi
 However, edge devices are often too computationally restricted to be able to run a full-fledged \gls{TOP} system such as \gls{ITASK}.
 The dissertation is structured as a purely functional rhapsody in three episodes.
 
-In order to get \gls{TOP} to resource-constraind edge devices we use special tools: \glspl{DSL}.
+In order to get \gls{TOP} to resource-constrained edge devices we use special tools: \glspl{DSL}.
 The dissertation shows several techniques for creating \glspl{EDSL}.
 Then it shows a tool, \gls{MTASK}, a \gls{TOP} system for \gls{IOT} edge devices.
-Finally it compares how this approach compares to existing approaches for programming \gls{IOT} systems.
+Finally, it compares how this approach compares to existing approaches for programming \gls{IOT} systems.
 
 \subsection{Tool craft}
 \Cref{prt:dsl} presents some tool crafting techniques that are useful for creating \gls{TOP} languages for \gls{IOT} edge devices.
@@ -69,7 +69,7 @@ Using tierless programming, many issues that arise with tiered programming are m
 This has already been observed in web applications.
 The \gls{MTASK} system show that it is possible to program edge devices of a \gls{IOT} systems using \gls{TOP}.
 Furthermore, when used together with \gls{ITASK}, entire \gls{IOT} systems can be programmed tierlessly.
-The question whether this novel approach to programming tiered systems also reduces the \gls{IOT} develop grief is answered in \cref{prt:tvt}.
+Whether this novel approach to programming tiered systems also reduces the \gls{IOT} develop grief is answered in \cref{prt:tvt}.
 This episode presents a four-way qualitative and quantitative comparison of the following systems:
 \gls{PRS}, a tiered system based on resource-rich edge devices powered by \gls{PYTHON};
 \gls{PWS}, a tiered system based on resource-constrained edge devices by \gls{MICROPYTHON};