glossaries.tex

   1 % Acronyms
   2 \newacronym{ADC}{ADC}{analog-to-digital converter}
   3 \newacronym{ADT}{ADT}{algebraic data type}
   4 \newacronym{API}{API}{application programming interface}
   5 \newacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \acrshort{DSL}}
   6 \newacronym{BLE}{BLE}{Bluetooth low energy}
   7 \newacronym{CRS}{CRS}{\gls{CLEAN} Raspberry Pi system}
   8 \newacronym{CRTS}{CRTS}{\gls{CLEAN} Raspberry Pi temperature sensor}
   9 \newacronym{CWS}{CWS}{\gls{CLEAN} wemos system}
  10 \newacronym{CWTS}{CWTS}{\gls{CLEAN} wemos temperature sensor}
  11 \newacronym{DHT}{DHT}{digital humidity and temperature}
  12 \newacronym{DSL}{DSL}{domain-specific language}
  13 \newacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
  14 \newacronym{EDSL}{eDSL}{embedded \acrshort{DSL}}
  15 \newacronym{FP}{FP}{functional programming}
  16 \newacronym{FRP}{FRP}{functional reactive programming}
  17 \newacronym{GADT}{GADT}{generalised \acrshort{ADT}}
  18 \newacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler}
  19 \newacronym{GPIO}{GPIO}{general-purpose \acrlong{IO}}
  20 \newacronym{GPL}{GPL}{general-purpose language}
  21 \newacronym{GRS}{GRS}{graph rewriting system}
  22 \newacronym{GUI}{GUI}{graphical \acrlong{UI}}
  23 \newacronym{HOAS}{HOAS}{high-order abstract syntax}
  24 \newacronym{IOT}{IoT}{internet of things}
  25 \newacronym{IDE}{IDE}{integrated development environment}
  26 \newacronym{IO}{IO}{input/output}
  27 \newacronym{IR}{IL}{intermediate representation}
  28 \newacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
  29 \newacronym{LED}{LED}{light-emitting diode}
  30 \newacronym{MCU}{MCU}{microcontroller unit}
  31 \newacronym{OLED}{OLED}{organic \acrlong{LED}}
  32 \newacronym{OS}{OS}{operating system}
  33 \newacronym{OTA}{OTA}{over-the-air}
  34 \newacronym{PIR}{PIR}{passive infrared}
  35 \newacronym{PRS}{PRS}{\gls{PYTHON} Raspberry Pi system}
  36 \newacronym{PWS}{PWS}{\gls{MICROPYTHON} wemos system}
  37 \newacronym{PRTS}{PRTS}{\gls{PYTHON} Raspberry Pi temperature sensor}
  38 \newacronym{PWTS}{PWTS}{\gls{MICROPYTHON} wemos temperature sensor}
  39 \newacronym{QDSL}{QDSL}{quoted \acrshort{DSL}}
  40 \newacronym{RAM}{RAM}{random-access memory}
  41 \newacronym{RFID}{RFID}{radio-frequency identification}
  42 \newacronym{RTOS}{RTOS}{real-time \acrshort{OS}}
  43 \newacronym{RTS}{RTS}{run-time system}
  44 \newacronym{SDS}{SDS}{shared data source}
  45 \newacronym{SN}{SN}{sensor network}
  46 \newacronym{SLOC}{SLOC}{source lines of code}
  47 \newacronym{TH}{TH}{Template \gls{HASKELL}}
  48 \newacronym{TCP}{TCP}{transmission control protocol}
  49 \newacronym{TOP}{TOP}{task-oriented programming}
  50 \newacronym{TOSD}{TOSD}{task-oriented software development}
  51 \newacronym{TRS}{TRS}{term rewriting system}
  52 \newacronym{TTH}{TTH}{typed \acrlong{TH}}
  53 \newacronym{TVOC}{TVOC}{total volatile organic compounds}
  54 \newacronym{UI}{UI}{user interface}
  55 \newacronym{UOD}{UoD}{universe of discourse}
  56 \newacronym{UOG}{UoG}{University of Glasgow}
  57
  58 % Glossaries
  59 \newglossaryentry{MTASK}{%
  60         name=mTask,
  61         description={is a \acrshort{TOP} \acrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system},
  62 }
  63 \newglossaryentry{ITASK}{%
  64         name=iTask,
  65         description={is a \acrshort{TOP} \acrshort{EDSL} for creating distributed multi-user collaborative web applications},
  66 }
  67 \newglossaryentry{CLEAN}{%
  68         name=Clean,
  69         description={Clean \acrlong{LEAN}, a pure lazy functional programming language based on graph rewriting}
  70 }
  71 \newglossaryentry{HASKELL}{%
  72         name=Haskell,
  73         description={is a pure lazy functional programming language designed by a committe as a concept language}
  74 }
  75 \newglossaryentry{HASKELL98}{%
  76         name=Haskell98,
  77         description={is a standardised version of \gls{HASKELL}}
  78 }
  79 \newglossaryentry{ARDUINO}{%
  80         name=Arduino,
  81         description={is a widely used framework for programming microprocessors}
  82 }
  83 \newglossaryentry{CPP}{
  84         name=C\texttt{++},
  85         description={is a general-purpose imperative programming language based on \gls{C}}
  86 }
  87 \newglossaryentry{C}{
  88         name=C,
  89         description={is a general-purpose imperative programming}
  90 }
  91 \newglossaryentry{I2C}{
  92         name=I\textsuperscript{2}C,
  93         description={is a simple serial communication protocol often used to connect sensors to microprocessors}
  94 }
  95 \newglossaryentry{SPI}{
  96         name=SPI,
  97         description={is a synchronous serial communication protocol often used to connect sensors to microprocessors}
  98 }
  99 \newglossaryentry{TINYML}{
 100         name=TinyML,
 101         description={is a deep learning framework for microprocessors}
 102 }
 103 \newglossaryentry{PYTHON}{
 104         name=Python,
 105         description={is a multi-paradigm interpreted programming language}
 106 }
 107 \newglossaryentry{MICROPYTHON}{
 108         name=MicroPython,
 109         description={is a \gls{PYTHON} implementation tailored for microprocessors}
 110 }
 111 \newglossaryentry{FREERTOS}{
 112         name=FreeRTOS,
 113         description={is an open-source \gls{RTOS} for microprocessors}
 114 }
 115 \newglossaryentry{ONEWIRE}{
 116         name=1-wire,
 117         description={is simple single wire communication protocol often used to connect sensors to microprocessors}
 118 }
 119 \newglossaryentry{JSON}{
 120         name=JSON,
 121         description={(JavaScript Object Notation) is a open data interchange format using human readable text}
 122 }
 123 \newglossaryentry{MQTT}{
 124         name=MQTT,
 125         description={(originally MQ Telemetry Transport) is a publish-subscribe network protocol designed for resource constrained devices}
 126 }