add license
[phd-thesis.git] / glossaries.tex
index 35dc916..0dd8fb5 100644 (file)
@@ -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}{%
        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}}
+}