restructure

[phd-thesis.git] / glossaries.tex

diff --git a/glossaries.tex b/glossaries.tex
index 0eb6e6d..7d610e0 100644 (file)
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -7,9 +7,9 @@
 \myacronym{ADC}{ADC}{analog-to-digital converter}
 \myacronym{ADT}{ADT}{algebraic data type}
 \myacronym{API}{API}{application programming interface}
-\myacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \acrshort{DSL}}
+\myacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}}
 \myacronym{BLE}{BLE}{Bluetooth low energy}
-\myacronym{CEFP}{CEFP}{central European summer school of \acrlong{FP}}
+\myacronym{CEFP}{CEFP}{central European summer school of \glsxtrlong{FP}}
 \myacronym{CRS}{CRS}{\gls{CLEAN} Raspberry Pi system}
 \myacronym{CRTS}{CRTS}{\gls{CLEAN} Raspberry Pi temperature sensor}
 \myacronym{CWS}{CWS}{\gls{CLEAN} \gls{WEMOS} system}
@@ -17,15 +17,15 @@
 \myacronym{DHT}{DHT}{digital humidity and temperature}
 \myacronym{DSL}{DSL}{domain-specific language}
 \myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
-\myacronym{EDSL}{eDSL}{embedded \acrlong{DSL}}
+\myacronym{EDSL}{eDSL}{embedded \glsxtrlong{DSL}}
 \myacronym{FP}{FP}{functional programming}
 \myacronym{FRP}{FRP}{functional reactive programming}
-\myacronym{GADT}{GADT}{generalised \acrshort{ADT}}
+\myacronym{GADT}{GADT}{generalised \glsxtrshort{ADT}}
 \myacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler}
-\myacronym{GPIO}{GPIO}{general-purpose \acrlong{IO}}
+\myacronym{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}}
 \myacronym{GPL}{GPL}{general-purpose language}
 \myacronym{GRS}{GRS}{graph rewriting system}
-\myacronym{GUI}{GUI}{graphical \acrlong{UI}}
+\myacronym{GUI}{GUI}{graphical \glsxtrlong{UI}}
 \myacronym{HOAS}{HOAS}{high-order abstract syntax}
 \myacronym{IOT}{IoT}{internet of things}
 \myacronym{IDE}{IDE}{integrated development environment}
@@ -34,7 +34,7 @@
 \myacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
 \myacronym{LED}{LED}{light-emitting diode}
 \myacronym{MCU}{MCU}{microcontroller unit}
-\myacronym{OLED}{OLED}{organic \acrlong{LED}}
+\myacronym{OLED}{OLED}{organic \glsxtrlong{LED}}
 \myacronym{OS}{OS}{operating system}
 \myacronym{OTA}{OTA}{over-the-air}
 \myacronym{PIR}{PIR}{passive infrared}
@@ -42,10 +42,10 @@
 \myacronym{PWS}{PWS}{\gls{MICROPYTHON} \gls{WEMOS} system}
 \myacronym{PRTS}{PRTS}{\gls{PYTHON} Raspberry Pi temperature sensor}
 \myacronym{PWTS}{PWTS}{\gls{MICROPYTHON} \gls{WEMOS} temperature sensor}
-\myacronym{QDSL}{QDSL}{quoted \acrshort{DSL}}
+\myacronym{QDSL}{QDSL}{quoted \glsxtrshort{DSL}}
 \myacronym{RAM}{RAM}{random-access memory}
 \myacronym{RFID}{RFID}{radio-frequency identification}
-\myacronym{RTOS}{RTOS}{real-time \acrshort{OS}}
+\myacronym{RTOS}{RTOS}{real-time \glsxtrshort{OS}}
 \myacronym{RTS}{RTS}{run-time system}
 \myacronym{SDS}{SDS}{shared data source}
 \myacronym{SN}{SN}{sensor network}
@@ -55,7 +55,7 @@
 \myacronym{TOP}{TOP}{task-oriented programming}
 \myacronym{TOSD}{TOSD}{task-oriented software development}
 \myacronym{TRS}{TRS}{term rewriting system}
-\myacronym{TTH}{TTH}{typed \acrlong{TH}}
+\myacronym{TTH}{TTH}{typed \glsxtrlong{TH}}
 \myacronym{TVOC}{TVOC}{total volatile organic compounds}
 \myacronym{UI}{UI}{user interface}
 \myacronym{UOD}{UoD}{universe of discourse}
@@ -64,27 +64,27 @@
 % Glossaries
 \newglossaryentry{MTASK}{%
        name=mTask,
-       description={is a \acrshort{TOP} \acrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system},
+       description={is a \glsxtrshort{TOP} \glsxtrshort{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 \glsxtrshort{TOP} \glsxtrshort{EDSL} for creating distributed multi-user collaborative web applications},
 }
 \newglossaryentry{TOPHAT}{%
        name=TopHat,
-       description={is a \acrshort{TOP} language designed to formally capture the essence of \gls{TOP}}
+       description={is a \glsxtrshort{TOP} language designed to formally capture the essence of \gls{TOP}}
 }
 \newglossaryentry{CLEAN}{%
        name=Clean,
-       description={Clean \acrlong{LEAN}, a pure lazy \acrlong{FP} language based on graph rewriting}
+       description={Clean \glsxtrlong{LEAN}, a pure lazy \glsxtrlong{FP} language based on graph rewriting}
 }
 \newglossaryentry{HASKELL}{%
        name=Haskell,
-       description={is a pure lazy \acrlong{FP} language designed by a committe as a concept language}
+       description={is a pure lazy \glsxtrlong{FP} language designed by a committe as a concept language}
 }
 \newglossaryentry{HASKELL98}{%
        name=Haskell98,
-       description={is a standardised version of \gls{HASKELL}}
+       description={is a standardised version of \gls{HASKELL}},
 }
 \newglossaryentry{ARDUINO}{%
        name=Arduino,
@@ -138,3 +138,12 @@
        name=WEMOS,
        description={is a popular ESP8266 microprocessor based prototyping platform supporting \gls{ARDUINO}.}
 }
+
+% Never expand
+\glsunset{3COWS}
+\glsunset{CEFP}
+\glsunset{TCP}
+\glsunset{IDE}
+\glsunset{IO}
+\glsunset{OS}
+\glsunset{RAM}