-% Acronyms
-\newacronym{acronymTest}{ACR}{Acronym}
+% 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}{functional programming}{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{glossaryTest}{%
- name=test,
- description={is a test glossary.},
+\newglossaryentry{MTASK}{%
+ name=mTask,
+ description={is a \glsxtrshort{TOP} \glsxtrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system},
+}
+\newglossaryentry{ITASK}{%
+ name=iTask,
+ 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 \glsxtrlong{LEAN}, a pure lazy \glsxtrlong{FP} language based on graph rewriting}
+}
+\newglossaryentry{HASKELL}{%
+ name=Haskell,
+ 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}},
+}
+\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}
repositories / phd-thesis.git / blobdiff