\usepackage[nolangwarn,nonumberlist,prefix]{glossaries-extra}
-\setabbreviationstyle{long-short-sc}
+\setabbreviationstyle{long-short}
\setabbreviationstyle[noexpand]{short-nolong}
-\setabbreviationstyle[scabbr]{short-sc-nolong}
+%\setabbreviationstyle[scabbr]{short-sc-nolong}
\Addlcwords{of}
\glssetcategoryattribute{abbreviation}{glossname}{uc}
\glssetcategoryattribute{noexpand}{glossname}{uc}
\GlsXtrEnableInitialTagging{acronym,abbreviation}{\itag}
\newcommand*{\glsxtrpostnameacronym}{%
- \space\rm\glsentrylong{\glscurrententrylabel}, %
+ \space\rm\glsentrylong{\glscurrententrylabel}%
}
%\renewcommand*{\glsxtrpostdescabbreviation}{%
% \space (initialism)%
\makeglossaries%
% Acronyms
-\newacronym[description={the CO\textsubscript{2} concentration calculated from \glsxtrshort{TVOC} measurements}]{ECO2}{(eCO\textsubscript{2})}{equivalent carbon dioxide}
-\newacronym[category=scabbr,description={a open data interchange format using human readable text}]{JSON}{{\scshape JSON}}{(JavaScript object notation)}
-\newacronym[category=scabbr,description={a publish-subscribe network protocol designed for resource constrained devices}]{MQTT}{{\scshape MQTT}}{(MQ telemetry transport)}
+\newacronym[description={a open data interchange format using human readable text}]{JSON}{JSON}{(JavaScript object notation)}
+\newacronym[description={a publish-subscribe network protocol designed for resource constrained devices}]{MQTT}{MQTT}{(MQ telemetry transport)}
\newacronym[description={a pure lazy \glsxtrlong{FP} language based on graph rewriting}]{CLEAN}{Clean}{(Clean language of East-Anglia and Nijmegen)}
-\newacronym[description={a simple serial communication protocol often used to connect sensors to microcontrollers}]{I2C}{I\textsuperscript{2}C}{(inter-integrated circuit)}
-\newacronym[category=scabbr,description={passive infrared}]{PIR}{{\scshape PIR}}{}
-\newacronym[category=scabbr,description={task-oriented programming}]{TOP}{{\scshape TOP}}{}
-\newacronym[category=scabbr,description={the three ``CO'' (composability, comprehensibility, correctness) of working software}]{3COWS}{{\scshape 3COWS}}{}
+\newacronym[description={a simple serial communication protocol often used to connect sensors to microcontrollers}]{I2C}{\IIC{}}{(inter-integrated circuit)}
+\newacronym[description={passive infrared}]{PIR}{PIR}{}
+\newacronym[description={task-oriented programming}]{TOP}{TOP}{}
+\newacronym[description={the three ``CO'' (composability, comprehensibility, correctness) of working software}]{3COWS}{3COWS}{}
% Initialisms
-\newabbreviation{ADC}{adc}{analog-to-digital converter}
-\newabbreviation{ADT}{adt}{algebraic data type}
-\newabbreviation{AST}{ast}{abstract syntax tree}
-\newabbreviation{API}{api}{application programming interface}
-\newabbreviation{ARDSL}{ardsl}{\gls{ARDUINO} \glsxtrshort{DSL}}
-\newabbreviation[category=noexpand]{CEFP}{cefp}{Central European \glsxtrlong{FP} School}
-\newabbreviation{CRS}{crs}{\gls{CLEAN} Raspberry Pi system}
-\newabbreviation{CRTS}{crts}{\gls{CLEAN} Raspberry Pi temperature sensor}
-\newabbreviation{CWS}{cws}{\gls{CLEAN} \gls{WEMOS} system}
-\newabbreviation{CWTS}{cwts}{\gls{CLEAN} \gls{WEMOS} temperature sensor}
-\newabbreviation{DHT}{dht}{digital humidity and temperature}
-\newabbreviation{DSL}{dsl}{domain-specific language}
-\newabbreviation{DVFS}{dvfs}{dynamic voltage and frequency scaling}
-\newabbreviation{EDSL}{edsl}{embedded \glsxtrlong{DSL}}
-\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FP}{fp}{functional programming}
-\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FRP}{frp}{functional reactive programming}
-\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FPGA}{fpga}{field-programmable gate array}
-\newabbreviation{GADT}{gadt}{generalised \glsxtrshort{ADT}}
-\newabbreviation{GHC}{ghc}{Glasgow \gls{HASKELL} Compiler}
-\newabbreviation{GPIO}{gpio}{general-purpose \glsxtrlong{IO}}
-\newabbreviation{GPL}{gpl}{general-purpose language}
-\newabbreviation{GRS}{grs}{graph rewriting system}
-\newabbreviation{GUI}{gui}{graphical \glsxtrlong{UI}}
-\newabbreviation{HOAS}{hoas}{high-order abstract syntax}
-%\newabbreviation{IOT}{Io\kern-.3mmT}{internet of things}
-\newabbreviation{IOT}{iot}{internet of things}
-\newabbreviation[category=noexpand]{IDE}{ide}{integrated development environment}
-\newabbreviation[category=noexpand]{IO}{i/o}{input/output}
-\newabbreviation{IR}{ir}{intermediate representation}
-\newabbreviation{ISR}{isr}{interrupt service routine}
-\newabbreviation[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{led}{light-emitting diode}
-\newabbreviation[category=noexpand]{OLED}{oled}{organic \glsxtrshort{LED}}
-\newabbreviation[category=noexpand]{OS}{os}{operating system}
-\newabbreviation{OTA}{ota}{over-the-air}
+\newabbreviation{ADC}{ADC}{analog-to-digital converter}
+\newabbreviation{ADT}{ADT}{algebraic data type}
+\newabbreviation{AST}{AST}{abstract syntax tree}
+\newabbreviation{API}{API}{application programming interface}
+\newabbreviation{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}}
+\newabbreviation{CRS}{CRS}{\gls{CLEAN} Raspberry Pi system}
+\newabbreviation{CRTS}{CRTS}{\gls{CLEAN} Raspberry Pi temperature sensor}
+\newabbreviation{CWS}{CWS}{\gls{CLEAN} \gls{WEMOS} system}
+\newabbreviation{CWTS}{CWTS}{\gls{CLEAN} \gls{WEMOS} temperature sensor}
+\newabbreviation{DHT}{DHT}{digital humidity and temperature}
+\newabbreviation{DSL}{DSL}{domain-specific language}
+\newabbreviation{DVFS}{DVFS}{dynamic voltage and frequency scaling}
+\newabbreviation{EDSL}{eDSL}{embedded \glsxtrlong{DSL}}
+\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FP}{FP}{functional programming}
+\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FRP}{FRP}{functional reactive programming}
+\newabbreviation[prefixfirst={a\ },prefix={an\ }]{FPGA}{FPGA}{field-programmable gate array}
+\newabbreviation{GADT}{GADT}{generalised \glsxtrshort{ADT}}
+\newabbreviation{GHC}{GHC}{Glasgow \gls{HASKELL} compiler}
+\newabbreviation{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}}
+\newabbreviation{GPL}{GPL}{general-purpose language}
+\newabbreviation{GRS}{GRS}{graph rewriting system}
+\newabbreviation{GUI}{GUI}{graphical \glsxtrlong{UI}}
+\newabbreviation{HOAS}{HOAS}{high-order abstract syntax}
+\newabbreviation{IOT}{\IOT{}}{internet of things}
+\newabbreviation[category=noexpand]{IDE}{IDE}{integrated development environment}
+\newabbreviation[category=noexpand]{IO}{I/O}{input/output}
+\newabbreviation{IR}{IR}{intermediate representation}
+\newabbreviation{ISR}{ISR}{interrupt service routine}
+\newabbreviation[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}
+\newabbreviation[category=noexpand]{OLED}{OLED}{organic \glsxtrshort{LED}}
+\newabbreviation[category=noexpand]{OS}{OS}{operating system}
\newabbreviation{PFRP}{p-frp}{priority-based \glsxtrshort{FRP}}
-\newabbreviation{PRS}{prs}{\gls{PYTHON} Raspberry Pi system}
-\newabbreviation{PWS}{pws}{\gls{MICROPYTHON} \gls{WEMOS} system}
-\newabbreviation{PRTS}{prts}{\gls{PYTHON} Raspberry Pi temperature sensor}
-\newabbreviation{PWTS}{pwts}{\gls{MICROPYTHON} \gls{WEMOS} temperature sensor}
-\newabbreviation{QDSL}{qdsl}{quoted \glsxtrshort{DSL}}
-\newabbreviation[category=noexpand]{RAM}{ram}{random-access memory}
-\newabbreviation{RFID}{rfid}{radio-frequency identification}
-\newabbreviation{RTOS}{rtos}{real-time \glsxtrshort{OS}}
-\newabbreviation{RTS}{rts}{run-time system}
-\newabbreviation[prefixfirst={a\ },prefix={an\ }]{SDS}{sds}{shared data source}
-\newabbreviation[prefixfirst={a\ },prefix={an\ }]{SN}{sn}{sensor network}
-\newabbreviation{SLOC}{sloc}{source lines of code}
+\newabbreviation{PRS}{PRS}{\gls{PYTHON} Raspberry Pi system}
+\newabbreviation{PWS}{PWS}{\gls{MICROPYTHON} \gls{WEMOS} system}
+\newabbreviation{PRTS}{PRTS}{\gls{PYTHON} Raspberry Pi temperature sensor}
+\newabbreviation{PWTS}{PWTS}{\gls{MICROPYTHON} \gls{WEMOS} temperature sensor}
+\newabbreviation{QDSL}{QDSL}{quoted \glsxtrshort{DSL}}
+\newabbreviation[category=noexpand]{RAM}{RAM}{random-access memory}
+\newabbreviation{RFID}{RFID}{radio-frequency identification}
+\newabbreviation{RTOS}{RTOS}{real-time \glsxtrshort{OS}}
+\newabbreviation{RTS}{RTS}{run-time system}
+\newabbreviation[prefixfirst={a\ },prefix={an\ }]{SDS}{SDS}{shared data source}
+\newabbreviation[prefixfirst={a\ },prefix={an\ }]{SN}{SN}{sensor network}
+\newabbreviation{SLOC}{SLOC}{source lines of code}
\newabbreviation[description={a synchronous serial communication protocol often used to connect sensors to microcontrollers}]{SPI}{SPI}{Serial Peripheral Interface}
-\newabbreviation{TH}{th}{Template \gls{HASKELL}}
-\newabbreviation[category=noexpand]{TCP}{tcp}{transmission control protocol}
-\newabbreviation{TOSD}{tosd}{task-oriented software development}
-\newabbreviation{TRS}{trs}{term rewriting system}
-\newabbreviation{TTH}{tth}{typed \glsxtrlong{TH}}
-\newabbreviation{TVOC}{tvoc}{total volatile organic compounds}
-\newabbreviation{UI}{ui}{user interface}
-\newabbreviation{UOD}{uod}{universe of discourse}
-\newabbreviation{UOG}{uog}{University of Glasgow}
-\newabbreviation{VM}{vm}{virtual machine}
+\newabbreviation{TH}{TH}{Template \gls{HASKELL}}
+\newabbreviation[category=noexpand]{TCP}{TCP}{transmission control protocol}
+\newabbreviation{TOSD}{TOSD}{task-oriented software development}
+\newabbreviation{TTH}{TTH}{typed \glsxtrlong{TH}}
+\newabbreviation{TVOC}{TVOC}{total volatile organic compounds}
+\newabbreviation{UI}{UI}{user interface}
+\newabbreviation{UOD}{UoD}{universe of discourse}
+\newabbreviation{UOG}{UoG}{University of Glasgow}
+\newabbreviation{VM}{VM}{virtual machine}
% Glossaries
\newglossaryentry{ABC}{%
name=ABC,
description={\gls{CLEAN}'s intermediate graph-rewriting language},
}
+\newglossaryentry{ECO2}{%
+ name={eCO\textsubscript{2}},
+ description={CO\textsubscript{2} concentration calculated from \glsxtrshort{TVOC} measurements},
+}
\newglossaryentry{MTASK}{%
name=mTask,
description={a \glsxtrshort{TOP} \glsxtrshort{EDSL} for edge devices integrated with the \gls{ITASK} system},
name=Haskell,
description={a pure lazy \glsxtrlong{FP} language designed by a committe as a concept language}
}
-\newglossaryentry{HASKELL98}{%
- name=Haskell98,
- description={a standardised version of \gls{HASKELL}},
-}
\newglossaryentry{ARDUINO}{%
name=Arduino,
description={a widely used framework for programming microcontrollers}
}
-\newglossaryentry{MBED}{%
- name=mbed,
- description={a widely used framework for programming microcontrollers designed for ARM cortex-M}
-}
\newglossaryentry{CPP}{
name=C\texttt{++},
description={a general-purpose imperative programming language based on \gls{C}}
name=Wi-Fi,
description={is a family of wireless network protocols commonly used for local area networking}
}
-\newglossaryentry{TINYML}{
- name=TinyML,
- description={a deep learning framework for microcontrollers}
-}
\newglossaryentry{PYTHON}{
name=Python,
description={a multi-paradigm interpreted programming language}
name=MicroPython,
description={a \gls{PYTHON} implementation tailored for microcontrollers}
}
-\newglossaryentry{FREERTOS}{
- name=FreeRTOS,
- description={an open-source \glsxtrshort{RTOS} for microcontrollers}
-}
\newglossaryentry{ONEWIRE}{
name=1-wire,
description={a simple single wire communication protocol often used to connect sensors to microcontrollers}
repositories / phd-thesis.git / blobdiff