X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=3184d457b0635a903de8da3df1c87d4bc43bae21;hb=4e17593a20e8c3af4c82a0b14bc648ddc180c25d;hp=5ed2de596b9266925c203101309901b8409f0275;hpb=4af0c6b6072b8a811dabadd2b66df5730dd3be41;p=phd-thesis.git diff --git a/glossaries.tex b/glossaries.tex index 5ed2de5..3184d45 100644 --- 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}{FP}{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} @@ -61,6 +62,10 @@ \myacronym{UOG}{UoG}{University of Glasgow} % Glossaries +\newglossaryentry{ABC}{% + name=ABC, + description={is \gls{CLEAN}'s intermediate graph-rewriting language}, +} \newglossaryentry{MTASK}{% name=mTask, description={is a \glsxtrshort{TOP} \glsxtrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system}, @@ -87,11 +92,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 +108,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 +124,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 +144,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