restructure

[phd-thesis.git] / glossaries.tex

diff --git a/glossaries.tex b/glossaries.tex
index 5ed2de5..b378c46 100644 (file)
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -7,52 +7,53 @@
 \myacronym{ADC}{ADC}{analog-to-digital converter}
 \myacronym{ADT}{ADT}{algebraic data type}
 \myacronym{API}{API}{application programming interface}
-\myacronym{ARDSL}{ARDSL}{\glsentrytext{ARDUINO} \glsxtrshort{DSL}}
-\myacronym{BLE}{BLE}{Bluetooth low energy}
+\myacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}}
 \myacronym{CEFP}{CEFP}{central European summer school of \glsxtrlong{FP}}
-\myacronym{CRS}{CRS}{\glsentrytext{CLEAN} Raspberry Pi system}
-\myacronym{CRTS}{CRTS}{\glsentrytext{CLEAN} Raspberry Pi temperature sensor}
-\myacronym{CWS}{CWS}{\glsentrytext{CLEAN} \glsentrytext{WEMOS} system}
-\myacronym{CWTS}{CWTS}{\glsentrytext{CLEAN} \glsentrytext{WEMOS} temperature sensor}
+\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}
+\myacronym{CWTS}{CWTS}{\gls{CLEAN} \gls{WEMOS} temperature sensor}
 \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 \glsxtrlong{DSL}}
-\myacronym{FP}{FP}{functional programming}
-\myacronym{FRP}{FRP}{functional reactive programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FP}{functional programming}{functional programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FRP}{FRP}{functional reactive programming}
 \myacronym{GADT}{GADT}{generalised \glsxtrshort{ADT}}
-\myacronym{GHC}{GHC}{Glasgow \glsentrytext{HASKELL} Compiler}
+\myacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler}
 \myacronym{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}}
 \myacronym{GPL}{GPL}{general-purpose language}
 \myacronym{GRS}{GRS}{graph rewriting system}
 \myacronym{GUI}{GUI}{graphical \glsxtrlong{UI}}
 \myacronym{HOAS}{HOAS}{high-order abstract syntax}
-\myacronym{IOT}{IoT}{internet of things}
+\myacronym{IOT}{Io\kern-.3mmT}{internet of things}
 \myacronym{IDE}{IDE}{integrated development environment}
-\myacronym{IO}{IO}{input/output}
-\myacronym{IR}{IL}{intermediate representation}
+\myacronym{IO}{I/O}{input/output}
+\myacronym{IR}{IR}{intermediate representation}
+\myacronym{ISR}{ISR}{interrupt service routine}
 \myacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
-\myacronym{LED}{LED}{light-emitting diode}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}
 \myacronym{OLED}{OLED}{organic \glsxtrlong{LED}}
 \myacronym{OS}{OS}{operating system}
 \myacronym{OTA}{OTA}{over-the-air}
 \myacronym{PIR}{PIR}{passive infrared}
-\myacronym{PRS}{PRS}{\glsentrytext{PYTHON} Raspberry Pi system}
-\myacronym{PWS}{PWS}{\glsentrytext{MICROPYTHON} \glsentrytext{WEMOS} system}
-\myacronym{PRTS}{PRTS}{\glsentrytext{PYTHON} Raspberry Pi temperature sensor}
-\myacronym{PWTS}{PWTS}{\glsentrytext{MICROPYTHON} \glsentrytext{WEMOS} temperature sensor}
+\myacronym{PRS}{PRS}{\gls{PYTHON} Raspberry Pi system}
+\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 \glsxtrshort{DSL}}
 \myacronym{RAM}{RAM}{random-access memory}
 \myacronym{RFID}{RFID}{radio-frequency identification}
 \myacronym{RTOS}{RTOS}{real-time \glsxtrshort{OS}}
 \myacronym{RTS}{RTS}{run-time system}
-\myacronym{SDS}{SDS}{shared data source}
-\myacronym{SN}{SN}{sensor network}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{SDS}{SDS}{shared data source}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{SN}{SN}{sensor network}
 \myacronym{SLOC}{SLOC}{source lines of code}
-\myacronym{TH}{TH}{Template \glsentrytext{HASKELL}}
+\myacronym{TH}{TH}{Template \gls{HASKELL}}
 \myacronym{TCP}{TCP}{transmission control protocol}
 \myacronym{TOP}{TOP}{task-oriented programming}
 \myacronym{TOSD}{TOSD}{task-oriented software development}
+\myacronym{LSOC}{LSOC}{layered separation of concerns}
 \myacronym{TRS}{TRS}{term rewriting system}
 \myacronym{TTH}{TTH}{typed \glsxtrlong{TH}}
 \myacronym{TVOC}{TVOC}{total volatile organic compounds}
@@ -87,11 +88,11 @@
 }
 \newglossaryentry{ARDUINO}{%
        name=Arduino,
-       description={is a widely used framework for programming microprocessors}
+       description={is a widely used framework for programming microcontrollers}
 }
 \newglossaryentry{MBED}{%
        name=mbed,
-       description={is a widely used framework for programming microprocessors designed for ARM cortex-M}
+       description={is a widely used framework for programming microcontrollers designed for ARM cortex-M}
 }
 \newglossaryentry{CPP}{
        name=C\texttt{++},
@@ -103,15 +104,15 @@
 }
 \newglossaryentry{I2C}{
        name=I\textsuperscript{2}C,
-       description={is a simple serial communication protocol often used to connect sensors to microprocessors}
+       description={(Inter-Integrated Circuit) is a simple serial communication protocol often used to connect sensors to microcontrollers}
 }
 \newglossaryentry{SPI}{
        name=SPI,
-       description={is a synchronous serial communication protocol often used to connect sensors to microprocessors}
+       description={(Serial Peripheral Interface) is a synchronous serial communication protocol often used to connect sensors to microcontrollers}
 }
 \newglossaryentry{TINYML}{
        name=TinyML,
-       description={is a deep learning framework for microprocessors}
+       description={is a deep learning framework for microcontrollers}
 }
 \newglossaryentry{PYTHON}{
        name=Python,
@@ -119,15 +120,15 @@
 }
 \newglossaryentry{MICROPYTHON}{
        name=MicroPython,
-       description={is a \gls{PYTHON} implementation tailored for microprocessors}
+       description={is a \gls{PYTHON} implementation tailored for microcontrollers}
 }
 \newglossaryentry{FREERTOS}{
        name=FreeRTOS,
-       description={is an open-source \gls{RTOS} for microprocessors}
+       description={is an open-source \gls{RTOS} for microcontrollers}
 }
 \newglossaryentry{ONEWIRE}{
        name=1-wire,
-       description={is simple single wire communication protocol often used to connect sensors to microprocessors}
+       description={is simple single wire communication protocol often used to connect sensors to microcontrollers}
 }
 \newglossaryentry{JSON}{
        name=JSON,
@@ -139,7 +140,7 @@
 }
 \newglossaryentry{WEMOS}{
        name=WEMOS,
-       description={is a popular ESP8266 microprocessor based prototyping platform supporting \gls{ARDUINO}.}
+       description={is a popular ESP8266 microcontroller based prototyping platform supporting \gls{ARDUINO}.}
 }
 
 % Never expand