X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=0dd8fb54ab6e306a365ea6e2e36b927d7ba517d5;hb=6a2b89f1f9e7cfae6fb6bfebe97967e08c3dd183;hp=35dc916f955ac1340f32c584e6620968a57889d0;hpb=a944020914b1ddbe8286962e3ea50ee1d3fd7a45;p=phd-thesis.git

diff --git a/glossaries.tex b/glossaries.tex
index 35dc916..0dd8fb5 100644
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -1,8 +1,29 @@
 % Acronyms
-\newacronym{IOT}{IoT}{internet of things}
-\newacronym{DSL}{DSL}{domain specific language}
+\newacronym{ADT}{ADT}{algebraic data type}
+\newacronym{DSL}{DSL}{domain-specific language}
 \newacronym{EDSL}{eDSL}{embedded \acrshort{DSL}}
-\newacronym{TOP}{TOP}{task oriented programming}
+\newacronym{GADT}{GADT}{generalised \acrshort{ADT}}
+\newacronym{GHC}{GHC}{Glasgow Haskell Compiler}
+\newacronym{GPL}{GPL}{general-purpose language}
+\newacronym{FP}{FP}{functional programming}
+\newacronym{GRS}{GRS}{graph rewriting system}
+\newacronym{GUI}{GUI}{graphical \acrlong{UI}}
+\newacronym{IOT}{IoT}{internet of things}
+\newacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
+\newacronym{TOP}{TOP}{task-oriented programming}
+\newacronym{TOSD}{TOSD}{task-oriented software development}
+\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{RTOS}{RTOS}{real-time \acrshort{OS}}
+\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}{%
@@ -13,3 +34,15 @@
 	name=iTask,
 	description={is a \acrshort{TOP} \acrshort{EDSL} for creating distributed multi-user collaborative web applications.},
 }
+\newglossaryentry{CLEAN}{%
+	name=Clean,
+	description={Clean \acrlong{LEAN}, a pure lazy functional programming language based on graph rewriting}
+}
+\newglossaryentry{HASKELL}{%
+	name=Haskell,
+	description={is a pure lazy functional programming language designed by a committe as a concept language}
+}
+\newglossaryentry{HASKELL98}{%
+	name=Haskell98,
+	description={is a standardised version of \gls{HASKELL}}
+}