X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=intro%2Fintro.tex;fp=intro%2Fintro.tex;h=8ecfbd0258cc1cf4b101a599e3606a4c516c09a3;hb=529531e1028ae26ab889456d65958794154d5b25;hp=42313f5e5263936e0c0a70fe9f3784f8c5b989fc;hpb=382f9709a872c0dfdb86e1184d07224a47c8eff3;p=phd-thesis.git

diff --git a/intro/intro.tex b/intro/intro.tex
index 42313f5..8ecfbd0 100644
--- a/intro/intro.tex
+++ b/intro/intro.tex
@@ -19,13 +19,13 @@
 
 There are at least 13.4 billion devices connected to the internet at the time of writing \citep{transforma_insights_current_2023}.
 Each of these devices sense, act, or otherwise, interact with people, computers, and the environment.
-Despite their immense diversity, they are all computers and they they all require software to operate.
+Despite their immense diversity, they are all computers and they all require software to operate.
 
 An increasing number of these connected devices are so-called edge devices that operate in the \gls{IOT}.
 Edge devices are the leaves of the \gls{IOT} systems.
 They perform the interaction with the physical world.
 It is not uncommon for edge devices to be physically embedded in the fabric itself.
-Typically they reside in hard-to-reach places such as light bulbs, clothing, smart electricity meters, buildings, or even farm animals.
+Typically, they reside in hard-to-reach places such as light bulbs, clothing, smart electricity meters, buildings, or even farm animals.
 The majority of edge devices are powered by microcontrollers.
 Microcontrollers are equipped with a lot of connectivity for integrating peripherals such as sensors and actuators.
 The connectivity makes them very suitable to interact with their surroundings.
@@ -66,7 +66,7 @@ The \citet{wikipedia_contributors_rhapsody_2022} define a musical rhapsody is de
 \end{quote}
 This dissertation consists of three episodes.
 \Cref{prt:dsl} is a paper-based---otherwise known as cumulative---episode containing chapters that provide insight in advanced \gls{DSL} embedding techniques for \gls{FP} languages.
-The chapters can be read independently from each other.
+The chapters can be read independently of each other.
 \Cref{prt:top} is a monograph showing \gls{MTASK}, a \gls{TOP} \gls{DSL} for the \gls{IOT}.
 Hence, the chapters in this episode are best read in order.
 It introduces \gls{IOT} edge device programming, shows the complete \gls{MTASK} language, provides details on how \gls{MTASK} is integrated with \gls{ITASK}, shows how the byte code compiler is implemented, presents a guide for green computing with \gls{MTASK}, and ends with a conclusion and overview of future and related work.
@@ -413,11 +413,11 @@ It is compiled from the following publications:
 %		\paragraph{Contribution}
 %		The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer.
 	\item \emph{Simulation of a Task-\kern-1.25ptBased Embedded Domain Specific Language for the Internet of Things} \citep*{koopman_simulation_2023}\footnotemark[\value{footnote}]
-		are the revised lecture notes for a course on the \gls{MTASK} simulator provided at the 2018 \gls{CEFP}\slash{}\gls{3COWS} winter school in Ko\v{s}ice, Slovakia, January 22--26, 2018.
+		are the revised lecture notes for a course on the \gls{MTASK} simulator provided at the 2018 \gls{3COWS} winter school in Ko\v{s}ice, Slovakia, January 22--26, 2018.
 %		\paragraph{Contribution}
 %		Pieter Koopman wrote and taught it, I helped with the software and research.
 	\item \emph{Writing Internet of Things Applications with Task Oriented Programming} \citep*{lubbers_writing_2023}\footnotemark[\value{footnote}]
-		are the revised lecture notes from a course on programming \gls{IOT} systems using \gls{MTASK} provided at the 2019 \gls{CEFP}\slash{}\gls{3COWS} summer school in Budapest, Hungary, June 17--21, 2019.
+		are the revised lecture notes from a course on programming \gls{IOT} systems using \gls{MTASK} provided at the 2019 \gls{3COWS} summer school in Budapest, Hungary, June 17--21, 2019.
 %		\paragraph{Contribution}
 %		Pieter Koopman prepared and taught half of the lecture and supervised the practical session.
 %		I taught the other half of the lecture, wrote the lecture notes, made the assignments and supervised the practical session.