X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Flang.tex;h=2a7f6564fbdac16543f705cd97b4aa3935bccd25;hb=e770ffa123986f62dcc3b69df9ff9895860ca319;hp=1b5735d53581345309b328eca64dfa18abebec54;hpb=7af43f4cbbc7792ec22553a84468cde77f429a11;p=phd-thesis.git

diff --git a/top/lang.tex b/top/lang.tex
index 1b5735d..2a7f656 100644
--- a/top/lang.tex
+++ b/top/lang.tex
@@ -6,7 +6,7 @@
 
 \begin{document}
 \input{subfileprefix}
-\chapter{The \texorpdfstring{\gls{MTASK}}{mTask} language}%\texorpdfstring{\glsxtrshort{DSL}}{DSL}}%
+\chapter{The mTask language}%
 \label{chp:mtask_dsl}
 \begin{chapterabstract}
 	This chapter introduces the \gls{TOP} language \gls{MTASK} by:
@@ -142,14 +142,14 @@ To illustrate the structure of a \gls{MTASK} programs, \cref{lst:mtask_types} sh
 :: Main a = { main :: a }
 :: In a b = (In) infix 0 a b
 
-someTask :: MTask v Int | mtask v & liftsds v & sensor1 v & ...
+someTask :: MTask v Int | mtask v & lowerSds v & sensor1 v & ...
 someTask =
 	sensor1 config1 \sns1->
 	sensor2 config2 \sns2->
-	   sds     \s1  = initialValue
-	In liftsds \s2  = someiTaskSDS
-	In fun     \fun1= ( \(a0, a1)->... )
-	In fun     \fun2= ( \a->... )
+	   sds      \s1  = initialValue
+	In lowerSds \s2  = someiTaskSDS
+	In fun      \fun1= ( \(a0, a1)->... )
+	In fun      \fun2= ( \a->... )
 	In { main = mainexpr }
 \end{lstClean}
 % VimTeX: SynIgnore off
@@ -578,7 +578,7 @@ task = declarePin A1 PMInput  \a1->
        {main = rpeat (readA a1 >>~. writeA a2 >>|. delay (lit 1000))}
 \end{lstClean}
 
-\subsection{\texorpdfstring{\Glsxtrlongpl{SDS}}{Shared data sources}}
+\subsection{Shared data sources}
 For some collaborations it is cumbersome to only communicate data using task values.
 \Glspl{SDS} are a safe abstraction over any data that fill this gap.
 It allows tasks to safely and atomically read, write and update data stores in order to share data with other tasks.