2 \newacronym{3COWS
}{3COWS
}{The three ``CO'' (Composability, Comprehensibility, Correctness) winter school
}
3 \newacronym{ADC
}{ADC
}{analog-to-digital converter
}
4 \newacronym{ADT
}{ADT
}{algebraic data type
}
5 \newacronym{API
}{API
}{application programming interface
}
6 \newacronym{ARDSL
}{ARDSL
}{\gls{ARDUINO
} \acrshort{DSL
}}
7 \newacronym{BLE
}{BLE
}{Bluetooth low energy
}
8 \newacronym{CEFP
}{CEFP
}{central European summer school of
\acrlong{FP
}}
9 \newacronym{CRS
}{CRS
}{\gls{CLEAN
} Raspberry Pi system
}
10 \newacronym{CRTS
}{CRTS
}{\gls{CLEAN
} Raspberry Pi temperature sensor
}
11 \newacronym{CWS
}{CWS
}{\gls{CLEAN
} wemos system
}
12 \newacronym{CWTS
}{CWTS
}{\gls{CLEAN
} wemos temperature sensor
}
13 \newacronym{DHT
}{DHT
}{digital humidity and temperature
}
14 \newacronym{DSL
}{DSL
}{domain-specific language
}
15 \newacronym{ECO2
}{eCO
\textsubscript{2}}{equivalent carbon dioxide
}
16 \newacronym{EDSL
}{eDSL
}{embedded
\acrshort{DSL
}}
17 \newacronym{FP
}{FP
}{functional programming
}
18 \newacronym{FRP
}{FRP
}{functional reactive programming
}
19 \newacronym{GADT
}{GADT
}{generalised
\acrshort{ADT
}}
20 \newacronym{GHC
}{GHC
}{Glasgow
\gls{HASKELL
} Compiler
}
21 \newacronym{GPIO
}{GPIO
}{general-purpose
\acrlong{IO
}}
22 \newacronym{GPL
}{GPL
}{general-purpose language
}
23 \newacronym{GRS
}{GRS
}{graph rewriting system
}
24 \newacronym{GUI
}{GUI
}{graphical
\acrlong{UI
}}
25 \newacronym{HOAS
}{HOAS
}{high-order abstract syntax
}
26 \newacronym{IOT
}{IoT
}{internet of things
}
27 \newacronym{IDE
}{IDE
}{integrated development environment
}
28 \newacronym{IO
}{IO
}{input/output
}
29 \newacronym{IR
}{IL
}{intermediate representation
}
30 \newacronym{LEAN
}{LEAN
}{language of East-Anglia and Nijmegen
}
31 \newacronym{LED
}{LED
}{light-emitting diode
}
32 \newacronym{MCU
}{MCU
}{microcontroller unit
}
33 \newacronym{OLED
}{OLED
}{organic
\acrlong{LED
}}
34 \newacronym{OS
}{OS
}{operating system
}
35 \newacronym{OTA
}{OTA
}{over-the-air
}
36 \newacronym{PIR
}{PIR
}{passive infrared
}
37 \newacronym{PRS
}{PRS
}{\gls{PYTHON
} Raspberry Pi system
}
38 \newacronym{PWS
}{PWS
}{\gls{MICROPYTHON
} wemos system
}
39 \newacronym{PRTS
}{PRTS
}{\gls{PYTHON
} Raspberry Pi temperature sensor
}
40 \newacronym{PWTS
}{PWTS
}{\gls{MICROPYTHON
} wemos temperature sensor
}
41 \newacronym{QDSL
}{QDSL
}{quoted
\acrshort{DSL
}}
42 \newacronym{RAM
}{RAM
}{random-access memory
}
43 \newacronym{RFID
}{RFID
}{radio-frequency identification
}
44 \newacronym{RTOS
}{RTOS
}{real-time
\acrshort{OS
}}
45 \newacronym{RTS
}{RTS
}{run-time system
}
46 \newacronym{SDS
}{SDS
}{shared data source
}
47 \newacronym{SN
}{SN
}{sensor network
}
48 \newacronym{SLOC
}{SLOC
}{source lines of code
}
49 \newacronym{TH
}{TH
}{Template
\gls{HASKELL
}}
50 \newacronym{TCP
}{TCP
}{transmission control protocol
}
51 \newacronym{TOP
}{TOP
}{task-oriented programming
}
52 \newacronym{TOSD
}{TOSD
}{task-oriented software development
}
53 \newacronym{TRS
}{TRS
}{term rewriting system
}
54 \newacronym{TTH
}{TTH
}{typed
\acrlong{TH
}}
55 \newacronym{TVOC
}{TVOC
}{total volatile organic compounds
}
56 \newacronym{UI
}{UI
}{user interface
}
57 \newacronym{UOD
}{UoD
}{universe of discourse
}
58 \newacronym{UOG
}{UoG
}{University of Glasgow
}
61 \newglossaryentry{MTASK
}{%
63 description=
{is a
\acrshort{TOP
} \acrshort{EDSL
} for microcontrollers integrated with the
\gls{ITASK
} system
},
65 \newglossaryentry{ITASK
}{%
67 description=
{is a
\acrshort{TOP
} \acrshort{EDSL
} for creating distributed multi-user collaborative web applications
},
69 \newglossaryentry{TOPHAT
}{%
71 description=
{is a
\acrshort{TOP
} language designed to formally capture the essence of
\gls{TOP
}}.
73 \newglossaryentry{CLEAN
}{%
75 description=
{Clean
\acrlong{LEAN
}, a pure lazy
\acrlong{FP
} language based on graph rewriting
}
77 \newglossaryentry{HASKELL
}{%
79 description=
{is a pure lazy
\acrlong{FP
} language designed by a committe as a concept language
}
81 \newglossaryentry{HASKELL98
}{%
83 description=
{is a standardised version of
\gls{HASKELL
}}
85 \newglossaryentry{ARDUINO
}{%
87 description=
{is a widely used framework for programming microprocessors
}
89 \newglossaryentry{CPP
}{
91 description=
{is a general-purpose imperative programming language based on
\gls{C
}}
95 description=
{is a general-purpose imperative programming
}
97 \newglossaryentry{I2C
}{
98 name=I
\textsuperscript{2}C,
99 description=
{is a simple serial communication protocol often used to connect sensors to microprocessors
}
101 \newglossaryentry{SPI
}{
103 description=
{is a synchronous serial communication protocol often used to connect sensors to microprocessors
}
105 \newglossaryentry{TINYML
}{
107 description=
{is a deep learning framework for microprocessors
}
109 \newglossaryentry{PYTHON
}{
111 description=
{is a multi-paradigm interpreted programming language
}
113 \newglossaryentry{MICROPYTHON
}{
115 description=
{is a
\gls{PYTHON
} implementation tailored for microprocessors
}
117 \newglossaryentry{FREERTOS
}{
119 description=
{is an open-source
\gls{RTOS
} for microprocessors
}
121 \newglossaryentry{ONEWIRE
}{
123 description=
{is simple single wire communication protocol often used to connect sensors to microprocessors
}
125 \newglossaryentry{JSON
}{
127 description=
{(JavaScript Object Notation) is a open data interchange format using human readable text
}
129 \newglossaryentry{MQTT
}{
131 description=
{(originally MQ Telemetry Transport) is a publish-subscribe network protocol designed for resource constrained devices
}
repositories / phd-thesis.git / blob