1 \usepackage[nolangwarn,abbreviations,nonumberlist,prefix
]{glossaries-extra
}
2 \setabbreviationstyle{long-short-sc
}
3 \setabbreviationstyle[noexpand
]{short-nolong
}
5 \usepackage{glossary-mcols
}
6 \pdfstringdefDisableCommands{%
10 \def\glsxtrshortpl#1{}%
14 \def\Glsxtrlongpl#1{}%
16 \def\Glsxtrshortpl#1{}%
21 \def\glsentrytext#1{}%
24 \def\Glsentrytext#1{}%
26 \def\MakeUppercase#1{}%
29 % Initialize the glossaries
33 \newcommand{\myacronym}[4][]{%
34 % \newacronym[type=\glsdefaulttype,#1]{#2}{#3}{#4}
35 \newabbreviation[#1]{#2}{#3}{#4}
37 \myacronym[category=noexpand
]{3COWS
}{3cows
}{The three ``CO'' (Composability, Comprehensibility, Correctness) winter school
}
38 \myacronym{ADC
}{adc
}{analog-to-digital converter
}
39 \myacronym{ADT
}{adt
}{algebraic data type
}
40 \myacronym{AST
}{ast
}{abstract syntax tree
}
41 \myacronym{API
}{api
}{application programming interface
}
42 \myacronym{ARDSL
}{ardsl
}{\gls{ARDUINO
} \glsxtrshort{DSL
}}
43 \myacronym[category=noexpand
]{CEFP
}{cefp
}{Central European
\glsxtrlong{FP
} School
}
44 \myacronym{CRS
}{crs
}{\gls{CLEAN
} Raspberry Pi system
}
45 \myacronym{CRTS
}{crts
}{\gls{CLEAN
} Raspberry Pi temperature sensor
}
46 \myacronym{CWS
}{cws
}{\gls{CLEAN
} \gls{WEMOS
} system
}
47 \myacronym{CWTS
}{cwts
}{\gls{CLEAN
} \gls{WEMOS
} temperature sensor
}
48 \myacronym{DHT
}{dht
}{digital humidity and temperature
}
49 \myacronym{DSL
}{dsl
}{domain-specific language
}
50 \myacronym{DVFS
}{dvfs
}{dynamic voltage and frequency scaling
}
51 \myacronym{ECO2
}{eCO
\textsubscript{2}}{equivalent carbon dioxide
}
52 \myacronym{EDSL
}{edsl
}{embedded
\glsxtrlong{DSL
}}
53 \myacronym[prefixfirst=
{a\
},prefix=
{an\
}]{FP
}{fp
}{functional programming
}
54 \myacronym[prefixfirst=
{a\
},prefix=
{an\
}]{FRP
}{frp
}{functional reactive programming
}
55 \myacronym[prefixfirst=
{a\
},prefix=
{an\
}]{FPGA
}{fpga
}{field-programmable gate array
}
56 \myacronym{GADT
}{gadt
}{generalised
\glsxtrshort{ADT
}}
57 \myacronym{GHC
}{ghc
}{Glasgow
\gls{HASKELL
} Compiler
}
58 \myacronym{GPIO
}{gpio
}{general-purpose
\glsxtrlong{IO
}}
59 \myacronym{GPL
}{gpl
}{general-purpose language
}
60 \myacronym{GRS
}{grs
}{graph rewriting system
}
61 \myacronym{GUI
}{gui
}{graphical
\glsxtrlong{UI
}}
62 \myacronym{HOAS
}{hoas
}{high-order abstract syntax
}
63 \myacronym{IOT
}{Io
\kern-
.3mmT
}{internet of things
}
64 \myacronym[category=noexpand
]{IDE
}{ide
}{integrated development environment
}
65 \myacronym[category=noexpand
]{IO
}{i/o
}{input/output
}
66 \myacronym{IR
}{ir
}{intermediate representation
}
67 \myacronym{ISR
}{isr
}{interrupt service routine
}
68 \myacronym{LEAN
}{lean
}{language of East-Anglia and Nijmegen
}
69 \myacronym[category=noexpand,prefixfirst=
{a\
},prefix=
{an\
}]{LED
}{led
}{light-emitting diode
}
70 \myacronym[category=noexpand
]{OLED
}{oled
}{organic
\glsxtrshort{LED
}}
71 \myacronym[category=noexpand
]{OS
}{os
}{operating system
}
72 \myacronym{OTA
}{ota
}{over-the-air
}
73 \myacronym{PIR
}{pir
}{passive infrared
}
74 \myacronym{PFRP
}{p-frp
}{priority-based
\glsxtrshort{FRP
}}
75 \myacronym{PRS
}{prs
}{\gls{PYTHON
} Raspberry Pi system
}
76 \myacronym{PWS
}{pws
}{\gls{MICROPYTHON
} \gls{WEMOS
} system
}
77 \myacronym{PRTS
}{prts
}{\gls{PYTHON
} Raspberry Pi temperature sensor
}
78 \myacronym{PWTS
}{pwts
}{\gls{MICROPYTHON
} \gls{WEMOS
} temperature sensor
}
79 \myacronym{QDSL
}{qdsl
}{quoted
\glsxtrshort{DSL
}}
80 \myacronym[category=noexpand
]{RAM
}{ram
}{random-access memory
}
81 \myacronym{RFID
}{rfid
}{radio-frequency identification
}
82 \myacronym{RTOS
}{rtos
}{real-time
\glsxtrshort{OS
}}
83 \myacronym{RTS
}{rts
}{run-time system
}
84 \myacronym[prefixfirst=
{a\
},prefix=
{an\
}]{SDS
}{sds
}{shared data source
}
85 \myacronym[prefixfirst=
{a\
},prefix=
{an\
}]{SN
}{sn
}{sensor network
}
86 \myacronym{SLOC
}{sloc
}{source lines of code
}
87 \myacronym{TH
}{th
}{Template
\gls{HASKELL
}}
88 \myacronym[category=noexpand
]{TCP
}{tcp
}{transmission control protocol
}
89 \myacronym{TOP
}{top
}{task-oriented programming
}
90 \myacronym{TOSD
}{tosd
}{task-oriented software development
}
91 \myacronym{TRS
}{trs
}{term rewriting system
}
92 \myacronym{TTH
}{tth
}{typed
\glsxtrlong{TH
}}
93 \myacronym{TVOC
}{tvoc
}{total volatile organic compounds
}
94 \myacronym{UI
}{ui
}{user interface
}
95 \myacronym{UOD
}{uod
}{universe of discourse
}
96 \myacronym{UOG
}{uog
}{University of Glasgow
}
97 \myacronym{VM
}{vm
}{virtual machine
}
100 \newglossaryentry{ABC
}{%
102 description=
{-
\gls{CLEAN
}'s intermediate graph-rewriting language
},
104 \newglossaryentry{MTASK
}{%
106 description=
{- a
\glsxtrshort{TOP
} \glsxtrshort{EDSL
} for edge devices integrated with the
\gls{ITASK
} system
},
108 \newglossaryentry{ITASK
}{%
110 description=
{- a
\glsxtrshort{TOP
} \glsxtrshort{EDSL
} for creating distributed multi-user collaborative web applications
},
112 \newglossaryentry{TOPHAT
}{%
114 description=
{- a
\glsxtrshort{TOP
} language designed to formally capture the essence of
\gls{TOP
}}
116 \newglossaryentry{CLEAN
}{%
118 description=
{- Clean
\glsxtrlong{LEAN
}, a pure lazy
\glsxtrlong{FP
} language based on graph rewriting
}
120 \newglossaryentry{HASKELL
}{%
122 description=
{- a pure lazy
\glsxtrlong{FP
} language designed by a committe as a concept language
}
124 \newglossaryentry{HASKELL98
}{%
126 description=
{- a standardised version of
\gls{HASKELL
}},
128 \newglossaryentry{ARDUINO
}{%
130 description=
{- a widely used framework for programming microcontrollers
}
132 \newglossaryentry{MBED
}{%
134 description=
{- a widely used framework for programming microcontrollers designed for ARM cortex-M
}
136 \newglossaryentry{CPP
}{
138 description=
{- a general-purpose imperative programming language based on
\gls{C
}}
140 \newglossaryentry{C
}{
142 description=
{- a general-purpose imperative programming
}
144 \newglossaryentry{I2C
}{
145 name=I
\textsuperscript{2}C,
146 description=
{(Inter-Integrated Circuit)
{-
} a simple serial communication protocol often used to connect sensors to microcontrollers
}
148 \newglossaryentry{WIFI
}{
150 description=
{- is a family of wireless network protocols commonly used for local area networking
}
152 \newglossaryentry{SPI
}{
154 description=
{(Serial Peripheral Interface)
{-
} a synchronous serial communication protocol often used to connect sensors to microcontrollers
}
156 \newglossaryentry{TINYML
}{
158 description=
{- a deep learning framework for microcontrollers
}
160 \newglossaryentry{PYTHON
}{
162 description=
{- a multi-paradigm interpreted programming language
}
164 \newglossaryentry{MICROPYTHON
}{
166 description=
{- a
\gls{PYTHON
} implementation tailored for microcontrollers
}
168 \newglossaryentry{FREERTOS
}{
170 description=
{- an open-source
\glsxtrshort{RTOS
} for microcontrollers
}
172 \newglossaryentry{ONEWIRE
}{
174 description=
{- a simple single wire communication protocol often used to connect sensors to microcontrollers
}
176 \newglossaryentry{JSON
}{
178 description=
{(JavaScript Object Notation)
{-
} a open data interchange format using human readable text
}
180 \newglossaryentry{MQTT
}{
182 description=
{(MQ Telemetry Transport)
{-
} a publish-subscribe network protocol designed for resource constrained devices
}
184 \newglossaryentry{WEMOS
}{
186 description=
{- a popular ESP8266 microcontroller based prototyping platform supporting
\gls{ARDUINO
}.
}