X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=345d351315dea49a9c9c69cc6bd339c9bd90f4cc;hb=2925b1f5ecee47e6d0893e5640323ff694c4cd28;hp=0dd8fb54ab6e306a365ea6e2e36b927d7ba517d5;hpb=45c4c1f86ffe493bbe929f262f6672a20c3cd8bf;p=phd-thesis.git diff --git a/glossaries.tex b/glossaries.tex index 0dd8fb5..345d351 100644 --- a/glossaries.tex +++ b/glossaries.tex @@ -1,48 +1,153 @@ -% Acronyms -\newacronym{ADT}{ADT}{algebraic data type} -\newacronym{DSL}{DSL}{domain-specific language} -\newacronym{EDSL}{eDSL}{embedded \acrshort{DSL}} -\newacronym{GADT}{GADT}{generalised \acrshort{ADT}} -\newacronym{GHC}{GHC}{Glasgow Haskell Compiler} -\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{LEAN}{LEAN}{language of East-Anglia and Nijmegen} -\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} +% Acronym +\newcommand{\myacronym}[4][]{% +% \newacronym[type=\glsdefaulttype,#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} \glsxtrshort{DSL}} +\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} +\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[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 \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}{Io\kern-.3mmT}{internet of things} +\myacronym{IDE}{IDE}{integrated development environment} +\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[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}{\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[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 \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} +\myacronym{UI}{UI}{user interface} +\myacronym{UOD}{UoD}{universe of discourse} +\myacronym{UOG}{UoG}{University of Glasgow} % 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 \glsxtrshort{TOP} language designed to formally capture the essence of \gls{TOP}} } \newglossaryentry{CLEAN}{% name=Clean, - description={Clean \acrlong{LEAN}, a pure lazy functional programming 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 functional programming 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 microcontrollers} +} +\newglossaryentry{MBED}{% + name=mbed, + description={is a widely used framework for programming microcontrollers designed for ARM cortex-M} +} +\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={(Inter-Integrated Circuit) is a simple serial communication protocol often used to connect sensors to microcontrollers} +} +\newglossaryentry{SPI}{ + name=SPI, + 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 microcontrollers} } +\newglossaryentry{PYTHON}{ + name=Python, + description={is a multi-paradigm interpreted programming language} +} +\newglossaryentry{MICROPYTHON}{ + name=MicroPython, + description={is a \gls{PYTHON} implementation tailored for microcontrollers} +} +\newglossaryentry{FREERTOS}{ + name=FreeRTOS, + 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 microcontrollers} +} +\newglossaryentry{JSON}{ + name=JSON, + description={(JavaScript Object Notation) is a open data interchange format using human readable text} +} +\newglossaryentry{MQTT}{ + name=MQTT, + description={(MQ Telemetry Transport) is a publish-subscribe network protocol designed for resource constrained devices} +} +\newglossaryentry{WEMOS}{ + name=WEMOS, + 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}