X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=a1fdb8724b3e007cb9d65aad74bb6b6020c0f808;hb=56e0224a0dc1e20920e85fa5f51e9616d3f495cd;hp=0eb6e6d6700308197e52cefcca07b2cd96c42d7e;hpb=658c18356eecd7b43b27b5ee450db4d12a985834;p=phd-thesis.git diff --git a/glossaries.tex b/glossaries.tex index 0eb6e6d..a1fdb87 100644 --- a/glossaries.tex +++ b/glossaries.tex @@ -1,15 +1,15 @@ % Acronym \newcommand{\myacronym}[4][]{% % \newacronym[type=\glsdefaulttype,#1]{#2}{#3}{#4} - \newacronym[#1]{#2}{#3}{#4} + \newabbreviation[#1]{#2}{#3}{#4} } \myacronym{3COWS}{3COWS}{The three ``CO'' (Composability, Comprehensibility, Correctness) winter school} \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,24 +17,23 @@ \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{IOT}{Io\kern-.3mmT}{internet of things} \myacronym{IDE}{IDE}{integrated development environment} \myacronym{IO}{IO}{input/output} \myacronym{IR}{IL}{intermediate representation} \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 +41,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} @@ -54,8 +53,9 @@ \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 \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,31 +64,35 @@ % 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, - 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 microcontrollers designed for ARM cortex-M} } \newglossaryentry{CPP}{ name=C\texttt{++}, @@ -100,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={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={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, @@ -116,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, @@ -136,5 +140,14 @@ } \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 +\glsunset{3COWS} +\glsunset{CEFP} +\glsunset{TCP} +\glsunset{IDE} +\glsunset{IO} +\glsunset{OS} +\glsunset{RAM}