% \newacronym[type=\glsdefaulttype,#1]{#2}{#3}{#4}
\newabbreviation[#1]{#2}{#3}{#4}
}
-\myacronym{3COWS}{3COWS}{The three ``CO'' (Composability, Comprehensibility, Correctness) winter school}
+\myacronym[category=noexpand]{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{BLE}{BLE}{Bluetooth low energy}
-\myacronym{CEFP}{CEFP}{central European summer school of \glsxtrlong{FP}}
+\myacronym[category=noexpand]{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{DSL}{DSL}{domain-specific language}
\myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
\myacronym{EDSL}{eDSL}{embedded \glsxtrlong{DSL}}
-\myacronym{FP}{FP}{functional programming}
-\myacronym{FRP}{FRP}{functional reactive programming}
+\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{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}{IO}{input/output}
-\myacronym{IR}{IL}{intermediate representation}
+\myacronym[category=noexpand]{IDE}{IDE}{integrated development environment}
+\myacronym[category=noexpand]{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{LED}{LED}{light-emitting diode}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}
\myacronym{OLED}{OLED}{organic \glsxtrlong{LED}}
-\myacronym{OS}{OS}{operating system}
+\myacronym[category=noexpand]{OS}{OS}{operating system}
\myacronym{OTA}{OTA}{over-the-air}
\myacronym{PIR}{PIR}{passive infrared}
\myacronym{PRS}{PRS}{\gls{PYTHON} Raspberry Pi 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[category=noexpand]{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{SDS}{SDS}{shared data source}
-\myacronym{SN}{SN}{sensor network}
+\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[category=noexpand]{TCP}{TCP}{transmission control protocol}
\myacronym{TOP}{TOP}{task-oriented programming}
\myacronym{TOSD}{TOSD}{task-oriented software development}
\myacronym{TRS}{TRS}{term rewriting system}
\myacronym{UI}{UI}{user interface}
\myacronym{UOD}{UoD}{universe of discourse}
\myacronym{UOG}{UoG}{University of Glasgow}
+\myacronym{VM}{VM}{virtual machine}
% Glossaries
+\newglossaryentry{ABC}{%
+ name=ABC,
+ description={- \gls{CLEAN}'s intermediate graph-rewriting language},
+}
\newglossaryentry{MTASK}{%
name=mTask,
- description={is a \glsxtrshort{TOP} \glsxtrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system},
+ description={- 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},
+ description={- 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}}
+ description={- 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}
+ 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}
+ description={- 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={- a standardised version of \gls{HASKELL}},
}
\newglossaryentry{ARDUINO}{%
name=Arduino,
- description={is a widely used framework for programming microprocessors}
+ description={- a widely used framework for programming microcontrollers}
}
\newglossaryentry{MBED}{%
name=mbed,
- description={is a widely used framework for programming microprocessors designed for ARM cortex-M}
+ description={- 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}}
+ description={- a general-purpose imperative programming language based on \gls{C}}
}
\newglossaryentry{C}{
name=C,
- description={is a general-purpose imperative programming}
+ description={- 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}
+ description={(Inter-Integrated Circuit) {-} a simple serial communication protocol often used to connect sensors to microcontrollers}
}
\newglossaryentry{SPI}{
name=SPI,
- description={is a synchronous serial communication protocol often used to connect sensors to microprocessors}
+ description={(Serial Peripheral Interface) {-} a synchronous serial communication protocol often used to connect sensors to microcontrollers}
}
\newglossaryentry{TINYML}{
name=TinyML,
- description={is a deep learning framework for microprocessors}
+ description={- a deep learning framework for microcontrollers}
}
\newglossaryentry{PYTHON}{
name=Python,
- description={is a multi-paradigm interpreted programming language}
+ description={- a multi-paradigm interpreted programming language}
}
\newglossaryentry{MICROPYTHON}{
name=MicroPython,
- description={is a \gls{PYTHON} implementation tailored for microprocessors}
+ description={- a \gls{PYTHON} implementation tailored for microcontrollers}
}
\newglossaryentry{FREERTOS}{
name=FreeRTOS,
- description={is an open-source \gls{RTOS} for microprocessors}
+ description={- 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 microprocessors}
+ description={- a 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}
+ description={(JavaScript Object Notation) {-} 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}
+ description={(MQ Telemetry Transport) {-} a publish-subscribe network protocol designed for resource constrained devices}
}
\newglossaryentry{WEMOS}{
name=WEMOS,
- description={is a popular ESP8266 microprocessor based prototyping platform supporting \gls{ARDUINO}.}
+ description={- 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}