glossaries.tex

   1 % Acronyms
   2 \newacronym{ADT}{ADT}{algebraic data type}
   3 \newacronym{API}{API}{application programming interface}
   4 \newacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \acrshort{DSL}}
   5 \newacronym{BLE}{BLE}{Bluetooth low energy}
   6 \newacronym{CRS}{PRS}{clean raspberry pi supersensor}
   7 \newacronym{CWS}{PWS}{clean wemos supersensor}
   8 \newacronym{DSL}{DSL}{domain-specific language}
   9 \newacronym{EDSL}{eDSL}{embedded \acrshort{DSL}}
  10 \newacronym{QDSL}{QDSL}{quoted \acrshort{DSL}}
  11 \newacronym{FP}{FP}{functional programming}
  12 \newacronym{GADT}{GADT}{generalised \acrshort{ADT}}
  13 \newacronym{GHC}{GHC}{Glasgow Haskell Compiler}
  14 \newacronym{GPIO}{GPIO}{general-purpose \acrlong{IO}}
  15 \newacronym{GPL}{GPL}{general-purpose language}
  16 \newacronym{GRS}{GRS}{graph rewriting system}
  17 \newacronym{GUI}{GUI}{graphical \acrlong{UI}}
  18 \newacronym{IOT}{IoT}{internet of things}
  19 \newacronym{IO}{IO}{input/output}
  20 \newacronym{IR}{IL}{intermediate representation}
  21 \newacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
  22 \newacronym{LED}{LED}{light-emitting diode}
  23 \newacronym{MCU}{MCU}{microcontroller unit}
  24 \newacronym{OS}{OS}{operating system}
  25 \newacronym{OTA}{OTA}{over-the-air}
  26 \newacronym{PRS}{PRS}{python raspberry pi supersensor}
  27 \newacronym{PWS}{PWS}{(micro)python wemos supersensor}%chktex 36
  28 \newacronym{RAM}{RAM}{random-access memory}
  29 \newacronym{RFID}{RFID}{radio-frequency identification}
  30 \newacronym{RTOS}{RTOS}{real-time \acrshort{OS}}
  31 \newacronym{SDS}{SDS}{shared data source}
  32 \newacronym{SN}{SN}{sensor network}
  33 \newacronym{TOP}{TOP}{task-oriented programming}
  34 \newacronym{TH}{TH}{Template Haskell}
  35 \newacronym{TTH}{TTH}{Typed \acrlong{TH}}
  36 \newacronym{TOSD}{TOSD}{task-oriented software development}
  37 \newacronym{TRS}{TRS}{term rewriting system}
  38 \newacronym{UI}{UI}{user interface}
  39 \newacronym{UOD}{UoD}{universe of discourse}
  40
  41 % Glossaries
  42 \newglossaryentry{MTASK}{%
  43         name=mTask,
  44         description={is a \acrshort{TOP} \acrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system},
  45 }
  46 \newglossaryentry{ITASK}{%
  47         name=iTask,
  48         description={is a \acrshort{TOP} \acrshort{EDSL} for creating distributed multi-user collaborative web applications},
  49 }
  50 \newglossaryentry{CLEAN}{%
  51         name=Clean,
  52         description={Clean \acrlong{LEAN}, a pure lazy functional programming language based on graph rewriting}
  53 }
  54 \newglossaryentry{HASKELL}{%
  55         name=Haskell,
  56         description={is a pure lazy functional programming language designed by a committe as a concept language}
  57 }
  58 \newglossaryentry{HASKELL98}{%
  59         name=Haskell98,
  60         description={is a standardised version of \gls{HASKELL}}
  61 }
  62 \newglossaryentry{ARDUINO}{%
  63         name=Arduino,
  64         description={is a widely used framework for programming microprocessors}
  65 }
  66 \newglossaryentry{CPP}{
  67         name=C\texttt{++},
  68         description={is a general-purpose imperative programming language based on \gls{C}}
  69 }
  70 \newglossaryentry{C}{
  71         name=C,
  72         description={is a general-purpose imperative programming}
  73 }
  74 \newglossaryentry{I2C}{
  75         name=I\textsuperscript{2}C,
  76         description={is a simple serial communication protocol often used to connect sensors to microprocessors}
  77 }
  78 \newglossaryentry{TINYML}{
  79         name=TinyML,
  80         description={is a deep learning framework for microprocessors}
  81 }
  82 \newglossaryentry{PYTHON}{
  83         name=Python,
  84         description={is a multi-paradigm interpreted programming language}
  85 }
  86 \newglossaryentry{MICROPYTHON}{
  87         name=MicroPython,
  88         description={is a \gls{PYTHON} implementation tailored for microprocessors}
  89 }
  90 \newglossaryentry{FREERTOS}{
  91         name=FreeRTOS,
  92         description={is an open-source \gls{RTOS} for microprocessors}
  93 }