X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=992238778489d7af6610b63e34ee8f5b36f732bd;hb=c15776f71f5efe186708e2604ff8f32115c8ac3d;hp=447a14cf4630400eb9efddd5906a83bb0438e6f6;hpb=c6fa9017e897e847334aeee2cec0b9aadec6f7c5;p=phd-thesis.git

diff --git a/glossaries.tex b/glossaries.tex
index 447a14c..9922387 100644
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -5,33 +5,42 @@
 \newacronym{GADT}{GADT}{generalised \acrshort{ADT}}
 \newacronym{GHC}{GHC}{Glasgow Haskell Compiler}
 \newacronym{GPL}{GPL}{general-purpose language}
+\newacronym{PRS}{PRS}{python raspberry pi supersensor}
+\newacronym{PWS}{PWS}{(micro)python wemos supersensor}%chktex 36
+\newacronym{CRS}{PRS}{clean raspberry pi supersensor}
+\newacronym{CWS}{PWS}{clean wemos supersensor}
 \newacronym{FP}{FP}{functional programming}
 \newacronym{GRS}{GRS}{graph rewriting system}
+\newacronym{GPIO}{GPIO}{general-purpose \acrlong{IO}}
 \newacronym{GUI}{GUI}{graphical \acrlong{UI}}
 \newacronym{IOT}{IoT}{internet of things}
 \newacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
+\newacronym{LED}{LED}{light-emitting diode}
 \newacronym{TOP}{TOP}{task-oriented programming}
 \newacronym{TOSD}{TOSD}{task-oriented software development}
-\newacronym{TRS}{TRS}{graph rewriting system}
+\newacronym{TRS}{TRS}{term rewriting system}
 \newacronym{RFID}{RFID}{radio-frequency identification}
 \newacronym{SN}{SN}{sensor network}
 \newacronym{BLE}{BLE}{Bluetooth low energy}
 \newacronym{API}{API}{application programming interface}
 \newacronym{OS}{OS}{operating system}
+\newacronym{IO}{IO}{input/output}
 \newacronym{RTOS}{RTOS}{real-time \acrshort{OS}}
+\newacronym{RAM}{RAM}{random-access memory}
 \newacronym{OTA}{OTA}{over-the-air}
 \newacronym{MCU}{MCU}{microcontroller unit}
 \newacronym{UI}{UI}{user interface}
+\newacronym{UOD}{UoD}{universe of discourse}
 \newacronym{SDS}{SDS}{shared data source}
 
 % Glossaries
 \newglossaryentry{MTASK}{%
 	name=mTask,
-	description={is a \acrshort{TOP} \acrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system.},
+	description={is a \acrshort{TOP} \acrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system},
 }
 \newglossaryentry{ITASK}{%
 	name=iTask,
-	description={is a \acrshort{TOP} \acrshort{EDSL} for creating distributed multi-user collaborative web applications.},
+	description={is a \acrshort{TOP} \acrshort{EDSL} for creating distributed multi-user collaborative web applications},
 }
 \newglossaryentry{CLEAN}{%
 	name=Clean,
@@ -45,3 +54,19 @@
 	name=Haskell98,
 	description={is a standardised version of \gls{HASKELL}}
 }
+\newglossaryentry{ARDUINO}{%
+	name=Arduino,
+	description={is a widely used framework for programming microprocessors}
+}
+\newglossaryentry{CPP}{
+	name=C\texttt{++},
+	description={is a general-purpose imperative programming language based on \gls{C}}
+}
+\newglossaryentry{C}{
+	name=C,
+	description={is a general-purpose imperative programming}
+}
+\newglossaryentry{I2C}{
+	name=I\textsuperscript{2}C,
+	description={is a simple serial communication protocol often used to connect sensors to microprocessors}
+}