1 \usepackage[nolangwarn,nonumberlist,prefix
]{glossaries-extra
}
2 \setabbreviationstyle{long-short
}
3 \setabbreviationstyle[noexpand
]{short-nolong
}
4 \setabbreviationstyle[acronym
]{long-short
}
7 \newcommand*
{\glsxtrpostnameacronym}{%
8 \space\rm\glsentrylong{\glscurrententrylabel}%
10 %\renewcommand*{\glsxtrpostdescabbreviation}{%
11 % \space (initialism)%
14 \usepackage{glossary-mcols
}
15 \pdfstringdefDisableCommands{%
17 \def\glsxtrlongpl#1{}%
19 \def\glsxtrshortpl#1{}%
21 \def\Glsxtrlongpl#1{}%
23 \def\Glsxtrshortpl#1{}%
28 \def\MakeUppercase#1{}%
31 % Initialize the glossaries
35 \newacronym[description=
{a open data interchange format using human readable text
},category=noexpand
]{JSON
}{JSON
}{(JavaScript object notation)
}
36 \newacronym[description=
{a publish-subscribe network protocol designed for resource constrained devices
},category=noexpand
]{MQTT
}{MQTT
}{(MQ telemetry transport)
}
37 \newacronym[description=
{a pure lazy
\glsxtrlong{FP
} language based on graph rewriting
},category=noexpand
]{CLEAN
}{Clean
}{(Clean language of East-Anglia and Nijmegen)
}
38 \newacronym[description=
{a simple serial communication protocol often used to connect sensors to microcontrollers
},category=noexpand
]{I2C
}{\IIC{}}{(inter-integrated circuit)
}
39 \newacronym[description=
{}]{PIR
}{PIR
}{passive infrared
}
40 \newacronym[description=
{}]{TOP
}{TOP
}{task-oriented programming
}
41 \newacronym[description=
{the three ``CO'' (composability, comprehensibility, correctness) of working software
},category=noexpand
]{3COWS
}{3COWS
}{}
44 \newabbreviation{ADC
}{ADC
}{analog-to-digital converter
}
45 \newabbreviation{ADT
}{ADT
}{algebraic data type
}
46 \newabbreviation{AST
}{AST
}{abstract syntax tree
}
47 \newabbreviation{API
}{API
}{application programming interface
}
48 \newabbreviation{ARDSL
}{ARDSL
}{\gls{ARDUINO
} \glsxtrshort{DSL
}}
49 \newabbreviation{CRS
}{CRS
}{\gls{CLEAN
} Raspberry Pi system
}
50 \newabbreviation{CRTS
}{CRTS
}{\gls{CLEAN
} Raspberry Pi temperature sensor
}
51 \newabbreviation{CWS
}{CWS
}{\gls{CLEAN
} \gls{WEMOS
} system
}
52 \newabbreviation{CWTS
}{CWTS
}{\gls{CLEAN
} \gls{WEMOS
} temperature sensor
}
53 \newabbreviation{DHT
}{DHT
}{digital humidity and temperature
}
54 \newabbreviation{DSL
}{DSL
}{domain-specific language
}
55 \newabbreviation{DVFS
}{DVFS
}{dynamic voltage and frequency scaling
}
56 \newabbreviation{EDSL
}{eDSL
}{embedded
\glsxtrlong{DSL
}}
57 \newabbreviation[prefixfirst=
{a\
},prefix=
{an\
}]{FP
}{FP
}{functional programming
}
58 \newabbreviation[prefixfirst=
{a\
},prefix=
{an\
}]{FRP
}{FRP
}{functional reactive programming
}
59 \newabbreviation[prefixfirst=
{a\
},prefix=
{an\
}]{FPGA
}{FPGA
}{field-programmable gate array
}
60 \newabbreviation{GADT
}{GADT
}{generalised
\glsxtrshort{ADT
}}
61 \newabbreviation{GHC
}{GHC
}{Glasgow
\gls{HASKELL
} compiler
}
62 \newabbreviation{GPIO
}{GPIO
}{general-purpose
\glsxtrlong{IO
}}
63 \newabbreviation{GPL
}{GPL
}{general-purpose language
}
64 \newabbreviation{GRS
}{GRS
}{graph rewriting system
}
65 \newabbreviation{GUI
}{GUI
}{graphical
\glsxtrlong{UI
}}
66 \newabbreviation{HOAS
}{HOAS
}{high-order abstract syntax
}
67 \newabbreviation{IOT
}{\IOT{}}{internet of things
}
68 \newabbreviation[category=noexpand
]{IDE
}{IDE
}{integrated development environment
}
69 \newabbreviation[category=noexpand
]{IO
}{I/O
}{input/output
}
70 \newabbreviation{IR
}{IR
}{intermediate representation
}
71 \newabbreviation{ISR
}{ISR
}{interrupt service routine
}
72 \newabbreviation[category=noexpand,prefixfirst=
{a\
},prefix=
{an\
}]{LED
}{LED
}{light-emitting diode
}
73 \newabbreviation[category=noexpand
]{OLED
}{OLED
}{organic
\glsxtrshort{LED
}}
74 \newabbreviation[category=noexpand
]{OS
}{OS
}{operating system
}
75 \newabbreviation{PFRP
}{P-FRP
}{priority-based
\glsxtrshort{FRP
}}
76 \newabbreviation{PRS
}{PRS
}{\gls{PYTHON
} Raspberry Pi system
}
77 \newabbreviation{PWS
}{PWS
}{\gls{MICROPYTHON
} \gls{WEMOS
} system
}
78 \newabbreviation{PRTS
}{PRTS
}{\gls{PYTHON
} Raspberry Pi temperature sensor
}
79 \newabbreviation{PWTS
}{PWTS
}{\gls{MICROPYTHON
} \gls{WEMOS
} temperature sensor
}
80 \newabbreviation{QDSL
}{QDSL
}{quoted
\glsxtrshort{DSL
}}
81 \newabbreviation[category=noexpand
]{RAM
}{RAM
}{random-access memory
}
82 \newabbreviation{RFID
}{RFID
}{radio-frequency identification
}
83 \newabbreviation{RTOS
}{RTOS
}{real-time
\glsxtrshort{OS
}}
84 \newabbreviation{RTS
}{RTS
}{run-time system
}
85 \newabbreviation[prefixfirst=
{a\
},prefix=
{an\
}]{SDS
}{SDS
}{shared data source
}
86 \newabbreviation[prefixfirst=
{a\
},prefix=
{an\
}]{SN
}{SN
}{sensor network
}
87 \newabbreviation{SLOC
}{SLOC
}{source lines of code
}
88 \newabbreviation[description=
{a synchronous serial communication protocol often used to connect sensors to microcontrollers
}]{SPI
}{SPI
}{Serial Peripheral Interface
}
89 \newabbreviation{TH
}{TH
}{Template
\gls{HASKELL
}}
90 \newabbreviation[category=noexpand
]{TCP
}{TCP
}{transmission control protocol
}
91 \newabbreviation{TOSD
}{TOSD
}{task-oriented software development
}
92 \newabbreviation{TTH
}{TTH
}{typed
\glsxtrlong{TH
}}
93 \newabbreviation{TVOC
}{TVOC
}{total volatile organic compounds
}
94 \newabbreviation{UI
}{UI
}{user interface
}
95 \newabbreviation{UOD
}{UoD
}{universe of discourse
}
96 \newabbreviation{UOG
}{UoG
}{University of Glasgow
}
97 \newabbreviation{VM
}{VM
}{virtual machine
}
100 \newglossaryentry{ABC
}{%
102 description=
{\gls{CLEAN
}'s intermediate graph-rewriting language
},
104 \newglossaryentry{ECO2
}{%
105 name=
{eCO
\textsubscript{2}},
106 description=
{CO
\textsubscript{2} concentration calculated from
\glsxtrshort{TVOC
} measurements
},
108 \newglossaryentry{MTASK
}{%
110 description=
{a
\glsxtrshort{TOP
} \glsxtrshort{EDSL
} for edge devices integrated with the
\gls{ITASK
} system
},
112 \newglossaryentry{ITASK
}{%
114 description=
{a
\glsxtrshort{TOP
} \glsxtrshort{EDSL
} for creating distributed multi-user collaborative web applications
},
116 \newglossaryentry{TOPHAT
}{%
118 description=
{a
\glsxtrshort{TOP
} language designed to formally capture the essence of
\gls{TOP
}}
120 \newglossaryentry{HASKELL
}{%
122 description=
{a pure lazy
\glsxtrlong{FP
} language designed by a committe as a concept language
}
124 \newglossaryentry{ARDUINO
}{%
126 description=
{a widely used framework for programming microcontrollers
}
128 \newglossaryentry{CPP
}{
130 description=
{a general-purpose imperative programming language based on
\gls{C
}}
132 \newglossaryentry{C
}{
134 description=
{a general-purpose imperative programming
}
136 \newglossaryentry{WIFI
}{
138 description=
{is a family of wireless network protocols commonly used for local area networking
}
140 \newglossaryentry{PYTHON
}{
142 description=
{a multi-paradigm interpreted programming language
}
144 \newglossaryentry{MICROPYTHON
}{
146 description=
{a
\gls{PYTHON
} implementation tailored for microcontrollers
}
148 \newglossaryentry{ONEWIRE
}{
150 description=
{a simple single wire communication protocol often used to connect sensors to microcontrollers
}
152 \newglossaryentry{WEMOS
}{
154 description=
{a popular ESP8266 microcontroller based prototyping platform supporting
\gls{ARDUINO
}.
}