X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=concl%2Fconcl.tex;h=5a750750d513b01b968ff09322f5b540461f75dc;hb=3044eec5a52dcd464ecfe502a521d09689f48f06;hp=b2ce8e5719ac3048f6fb719b95ba2a2d46b1d500;hpb=c64f2008bd494f9fdb47466337480f36a22daef3;p=phd-thesis.git

diff --git a/concl/concl.tex b/concl/concl.tex
index b2ce8e5..5a75075 100644
--- a/concl/concl.tex
+++ b/concl/concl.tex
@@ -2,7 +2,7 @@
 
 \input{subfilepreamble}
 
-\setcounter{chapter}{9}
+\setcounter{chapter}{10}
 
 \begin{document}
 \input{subfileprefix}
@@ -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};