% Acronyms
\newacronym{ADT}{ADT}{algebraic data type}
+\newacronym{API}{API}{application programming interface}
+\newacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \acrshort{DSL}}
+\newacronym{BLE}{BLE}{Bluetooth low energy}
+\newacronym{CRS}{PRS}{clean raspberry pi supersensor}
+\newacronym{CWS}{PWS}{clean wemos supersensor}
\newacronym{DSL}{DSL}{domain-specific language}
\newacronym{EDSL}{eDSL}{embedded \acrshort{DSL}}
+\newacronym{FP}{FP}{functional programming}
\newacronym{GADT}{GADT}{generalised \acrshort{ADT}}
\newacronym{GHC}{GHC}{Glasgow Haskell Compiler}
+\newacronym{GPIO}{GPIO}{general-purpose \acrlong{IO}}
\newacronym{GPL}{GPL}{general-purpose language}
-\newacronym{FP}{FP}{functional programming}
\newacronym{GRS}{GRS}{graph rewriting system}
\newacronym{GUI}{GUI}{graphical \acrlong{UI}}
\newacronym{IOT}{IoT}{internet of things}
+\newacronym{IO}{IO}{input/output}
\newacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
+\newacronym{LED}{LED}{light-emitting diode}
+\newacronym{MCU}{MCU}{microcontroller unit}
+\newacronym{OS}{OS}{operating system}
+\newacronym{OTA}{OTA}{over-the-air}
+\newacronym{PRS}{PRS}{python raspberry pi supersensor}
+\newacronym{PWS}{PWS}{(micro)python wemos supersensor}%chktex 36
+\newacronym{RAM}{RAM}{random-access memory}
+\newacronym{RFID}{RFID}{radio-frequency identification}
+\newacronym{RTOS}{RTOS}{real-time \acrshort{OS}}
+\newacronym{SDS}{SDS}{shared data source}
+\newacronym{SN}{SN}{sensor network}
\newacronym{TOP}{TOP}{task-oriented programming}
\newacronym{TOSD}{TOSD}{task-oriented software development}
\newacronym{TRS}{TRS}{term rewriting system}
-\newacronym{RFID}{RFID}{radio-frequency identification}
-\newacronym{SN}{SN}{sensor network}
-\newacronym{BLE}{BLE}{Bluetooth low energy}
-\newacronym{API}{API}{application programming interface}
-\newacronym{OS}{OS}{operating system}
-\newacronym{RTOS}{RTOS}{real-time \acrshort{OS}}
-\newacronym{OTA}{OTA}{over-the-air}
-\newacronym{MCU}{MCU}{microcontroller unit}
\newacronym{UI}{UI}{user interface}
\newacronym{UOD}{UoD}{universe of discourse}
-\newacronym{SDS}{SDS}{shared data source}
% Glossaries
\newglossaryentry{MTASK}{%
name=mTask,
- description={is a \acrshort{TOP} \acrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system.},
+ description={is a \acrshort{TOP} \acrshort{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 \acrshort{TOP} \acrshort{EDSL} for creating distributed multi-user collaborative web applications},
}
\newglossaryentry{CLEAN}{%
name=Clean,
name=Haskell98,
description={is a standardised version of \gls{HASKELL}}
}
+\newglossaryentry{ARDUINO}{%
+ name=Arduino,
+ description={is a widely used framework for programming microprocessors}
+}
+\newglossaryentry{CPP}{
+ name=C\texttt{++},
+ description={is a general-purpose imperative programming language based on \gls{C}}
+}
+\newglossaryentry{C}{
+ name=C,
+ description={is a general-purpose imperative programming}
+}
+\newglossaryentry{I2C}{
+ name=I\textsuperscript{2}C,
+ description={is a simple serial communication protocol often used to connect sensors to microprocessors}
+}
+\newglossaryentry{TINYML}{
+ name=TinyML,
+ description={is a deep learning framework for microprocessors}
+}
+\newglossaryentry{PYTHON}{
+ name=Python,
+ description={is a multi-paradigm interpreted programming language}
+}
+\newglossaryentry{MICROPYTHON}{
+ name=MicroPython,
+ description={is a \gls{PYTHON} implementation tailored for microprocessors}
+}
+\newglossaryentry{FREERTOS}{
+ name=FreeRTOS,
+ description={is an open-source \gls{RTOS} for microprocessors}
+}