many updates

[phd-thesis.git] / intro / introduction.tex

diff --git a/intro/introduction.tex b/intro/introduction.tex
index 93e541a..6b12284 100644 (file)
--- a/intro/introduction.tex
+++ b/intro/introduction.tex
@@ -156,7 +156,7 @@ This approach to software development is called \gls{TOSD}~\citep{wang_maintaini
                The \gls{UOD} from the business layer is explicitly and separately modelled by the relations that exist in the functions of the host language.
 \end{description}
 
-The concept of \gls{TOP} originated from the \gls{ITASK} framework, a declarative workflow language for defining multi-user distributed web applications implemented as an \gls{EDSL} in the lazy pure functional programming language \gls{CLEAN}~\citep{plasmeijer_itasks:_2007,plasmeijer_task-oriented_2012}.
+The concept of \gls{TOP} originated from the \gls{ITASK} framework, a declarative workflow language for defining multi-user distributed web applications implemented as an \gls{EDSL} in the lazy pure \gls{FP} language \gls{CLEAN}~\citep{plasmeijer_itasks:_2007,plasmeijer_task-oriented_2012}.
 While \gls{ITASK} conceived \gls{TOP}, it is not the only \gls{TOP} language.
 \Gls{TOPHAT} is a fully formally specified \gls{TOP} language designed to capture the essence of \gls{TOP} formally~\citep{steenvoorden_tophat_2019}.
 \citet{piers_task-oriented_2016} created \textmu{}Task, a \gls{TOP} language for specifying non-interruptible embedded systems implemented as an \gls{EDSL} in \gls{HASKELL}.
@@ -178,7 +178,7 @@ The movements are readable independently if the reader is familiarised with the
 The thesis wraps up with \cref{chp:conclusion} that provides a conclusion and an outlook on future work.
 
 \subsection*{\nameref{prt:dsl}}
-This movement is a cumulative---paper-based---movement that focusses on techniques for embedding \glspl{DSL} in functional programming lanugages.
+This movement is a cumulative---paper-based---movement that focusses on techniques for embedding \glspl{DSL} in \gls{FP} lanugages.
 After reading the first chapter, subsequent chapters in this movement are readable as independently.
 
 \subsubsection*{\fullref{chp:dsl_embedding_techniques}}