2 \newcommand{\myacronym}[4][]{%
3 % \newacronym[type=\glsdefaulttype,#1]{#2}{#3}{#4}
4 \newabbreviation[#1]{#2}{#3}{#4}
6 \myacronym{3COWS
}{3COWS
}{The three ``CO'' (Composability, Comprehensibility, Correctness) winter school
}
7 \myacronym{ADC
}{ADC
}{analog-to-digital converter
}
8 \myacronym{ADT
}{ADT
}{algebraic data type
}
9 \myacronym{API
}{API
}{application programming interface
}
10 \myacronym{ARDSL
}{ARDSL
}{\glsentrytext{ARDUINO
} \glsxtrshort{DSL
}}
11 \myacronym{BLE
}{BLE
}{Bluetooth low energy
}
12 \myacronym{CEFP
}{CEFP
}{central European summer school of
\glsxtrlong{FP
}}
13 \myacronym{CRS
}{CRS
}{\glsentrytext{CLEAN
} Raspberry Pi system
}
14 \myacronym{CRTS
}{CRTS
}{\glsentrytext{CLEAN
} Raspberry Pi temperature sensor
}
15 \myacronym{CWS
}{CWS
}{\glsentrytext{CLEAN
} \glsentrytext{WEMOS
} system
}
16 \myacronym{CWTS
}{CWTS
}{\glsentrytext{CLEAN
} \glsentrytext{WEMOS
} temperature sensor
}
17 \myacronym{DHT
}{DHT
}{digital humidity and temperature
}
18 \myacronym{DSL
}{DSL
}{domain-specific language
}
19 \myacronym{ECO2
}{eCO
\textsubscript{2}}{equivalent carbon dioxide
}
20 \myacronym{EDSL
}{eDSL
}{embedded
\glsxtrlong{DSL
}}
21 \myacronym{FP
}{FP
}{functional programming
}
22 \myacronym{FRP
}{FRP
}{functional reactive programming
}
23 \myacronym{GADT
}{GADT
}{generalised
\glsxtrshort{ADT
}}
24 \myacronym{GHC
}{GHC
}{Glasgow
\glsentrytext{HASKELL
} Compiler
}
25 \myacronym{GPIO
}{GPIO
}{general-purpose
\glsxtrlong{IO
}}
26 \myacronym{GPL
}{GPL
}{general-purpose language
}
27 \myacronym{GRS
}{GRS
}{graph rewriting system
}
28 \myacronym{GUI
}{GUI
}{graphical
\glsxtrlong{UI
}}
29 \myacronym{HOAS
}{HOAS
}{high-order abstract syntax
}
30 \myacronym{IOT
}{IoT
}{internet of things
}
31 \myacronym{IDE
}{IDE
}{integrated development environment
}
32 \myacronym{IO
}{IO
}{input/output
}
33 \myacronym{IR
}{IL
}{intermediate representation
}
34 \myacronym{LEAN
}{LEAN
}{language of East-Anglia and Nijmegen
}
35 \myacronym{LED
}{LED
}{light-emitting diode
}
36 \myacronym{OLED
}{OLED
}{organic
\glsxtrlong{LED
}}
37 \myacronym{OS
}{OS
}{operating system
}
38 \myacronym{OTA
}{OTA
}{over-the-air
}
39 \myacronym{PIR
}{PIR
}{passive infrared
}
40 \myacronym{PRS
}{PRS
}{\glsentrytext{PYTHON
} Raspberry Pi system
}
41 \myacronym{PWS
}{PWS
}{\glsentrytext{MICROPYTHON
} \glsentrytext{WEMOS
} system
}
42 \myacronym{PRTS
}{PRTS
}{\glsentrytext{PYTHON
} Raspberry Pi temperature sensor
}
43 \myacronym{PWTS
}{PWTS
}{\glsentrytext{MICROPYTHON
} \glsentrytext{WEMOS
} temperature sensor
}
44 \myacronym{QDSL
}{QDSL
}{quoted
\glsxtrshort{DSL
}}
45 \myacronym{RAM
}{RAM
}{random-access memory
}
46 \myacronym{RFID
}{RFID
}{radio-frequency identification
}
47 \myacronym{RTOS
}{RTOS
}{real-time
\glsxtrshort{OS
}}
48 \myacronym{RTS
}{RTS
}{run-time system
}
49 \myacronym{SDS
}{SDS
}{shared data source
}
50 \myacronym{SN
}{SN
}{sensor network
}
51 \myacronym{SLOC
}{SLOC
}{source lines of code
}
52 \myacronym{TH
}{TH
}{Template
\glsentrytext{HASKELL
}}
53 \myacronym{TCP
}{TCP
}{transmission control protocol
}
54 \myacronym{TOP
}{TOP
}{task-oriented programming
}
55 \myacronym{TOSD
}{TOSD
}{task-oriented software development
}
56 \myacronym{TRS
}{TRS
}{term rewriting system
}
57 \myacronym{TTH
}{TTH
}{typed
\glsxtrlong{TH
}}
58 \myacronym{TVOC
}{TVOC
}{total volatile organic compounds
}
59 \myacronym{UI
}{UI
}{user interface
}
60 \myacronym{UOD
}{UoD
}{universe of discourse
}
61 \myacronym{UOG
}{UoG
}{University of Glasgow
}
64 \newglossaryentry{MTASK
}{%
66 description=
{is a
\glsxtrshort{TOP
} \glsxtrshort{EDSL
} for microcontrollers integrated with the
\gls{ITASK
} system
},
68 \newglossaryentry{ITASK
}{%
70 description=
{is a
\glsxtrshort{TOP
} \glsxtrshort{EDSL
} for creating distributed multi-user collaborative web applications
},
72 \newglossaryentry{TOPHAT
}{%
74 description=
{is a
\glsxtrshort{TOP
} language designed to formally capture the essence of
\gls{TOP
}}
76 \newglossaryentry{CLEAN
}{%
78 description=
{Clean
\glsxtrlong{LEAN
}, a pure lazy
\glsxtrlong{FP
} language based on graph rewriting
}
80 \newglossaryentry{HASKELL
}{%
82 description=
{is a pure lazy
\glsxtrlong{FP
} language designed by a committe as a concept language
}
84 \newglossaryentry{HASKELL98
}{%
86 description=
{is a standardised version of
\gls{HASKELL
}},
88 \newglossaryentry{ARDUINO
}{%
90 description=
{is a widely used framework for programming microprocessors
}
92 \newglossaryentry{MBED
}{%
94 description=
{is a widely used framework for programming microprocessors designed for ARM cortex-M
}
96 \newglossaryentry{CPP
}{
98 description=
{is a general-purpose imperative programming language based on
\gls{C
}}
100 \newglossaryentry{C
}{
102 description=
{is a general-purpose imperative programming
}
104 \newglossaryentry{I2C
}{
105 name=I
\textsuperscript{2}C,
106 description=
{is a simple serial communication protocol often used to connect sensors to microprocessors
}
108 \newglossaryentry{SPI
}{
110 description=
{is a synchronous serial communication protocol often used to connect sensors to microprocessors
}
112 \newglossaryentry{TINYML
}{
114 description=
{is a deep learning framework for microprocessors
}
116 \newglossaryentry{PYTHON
}{
118 description=
{is a multi-paradigm interpreted programming language
}
120 \newglossaryentry{MICROPYTHON
}{
122 description=
{is a
\gls{PYTHON
} implementation tailored for microprocessors
}
124 \newglossaryentry{FREERTOS
}{
126 description=
{is an open-source
\gls{RTOS
} for microprocessors
}
128 \newglossaryentry{ONEWIRE
}{
130 description=
{is simple single wire communication protocol often used to connect sensors to microprocessors
}
132 \newglossaryentry{JSON
}{
134 description=
{(JavaScript Object Notation) is a open data interchange format using human readable text
}
136 \newglossaryentry{MQTT
}{
138 description=
{(MQ Telemetry Transport) is a publish-subscribe network protocol designed for resource constrained devices
}
140 \newglossaryentry{WEMOS
}{
142 description=
{is a popular ESP8266 microprocessor based prototyping platform supporting
\gls{ARDUINO
}.
}
repositories / phd-thesis.git / blob