X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=cd0ccd6d038085045ba28fb32b3b1ab2f713fbfe;hb=d118ff9d857683084065145df45135ef6fa06711;hp=7861e6a23a7b4de348ee8ccecc16c462cbaeb82b;hpb=96c38eaced38e4a3cb8df44ec54b778a1dc11b24;p=msc-thesis1617.git

diff --git a/thesis.tex b/thesis.tex
index 7861e6a..cd0ccd6 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -1,4 +1,4 @@
-%&output/thesis
+%&thesis
 \usepackage[nonumberlist,acronyms]{glossaries}
 \makeglossaries%
 
@@ -14,18 +14,44 @@
 \newacronym{LTN}{LTN}{Low Throughput Network}
 \newacronym{IDE}{IDE}{Integrated Development Environment}
 \newacronym{TCP}{TCP}{Transmission Control Protocol}
+\newacronym{RFID}{RFID}{Radio-Frequency Identification}
+\newacronym{GPS}{GPS}{Global Positioning System}
+\newacronym{RTOS}{RTOS}{Real-Time Operating System}
+\newglossaryentry{Arduino}{name=Arduino,
+	description={is a cheap and popular microcontroller that is widely used for
+	rapid prototyping}}
 \newglossaryentry{Clean}{name=Clean,
-	description={is a pure lazy functional programming language based on graph
+	description={is a staticly typed pure lazy functional programming language based on graph
 		rewriting}}
+\newglossaryentry{Haskell}{name=Haskell,
+	description={is a staticly typed pure lazy functional programming language}}
 \newglossaryentry{iTasks}{name=iTasks,
 	description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL}
 	in the \gls{Clean} programming language}}
+\newglossaryentry{Ivory}{name=Ivory,
+	description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code
+	for high-assurance low-level systems}}
+\newglossaryentry{Tower}{name=Tower,
+	description={is a type-safe \gls{EDSL} similar to \gls{Ivory} designed to
+	generate code for \acrlong{RTOS}}}
 \newglossaryentry{Task}{name=Task,
 	description={is the basic building block of a \acrshort{TOP} system}}
 \newglossaryentry{mTask}{name=mTask,
 	description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
 \newglossaryentry{C}{name=C,
-	description={is low-level programming language suitable for embedded devices}}
+	description={is low-level imperative programming language suitable for
+	embedded devices}}
+\newglossaryentry{C++}{name=C++,
+	description={is low-level imperative and object-oriented programming
+	language suitable for embedded devices based on \gls{C}}}
+\newglossaryentry{SAPL}{name=SAPL,
+	description={is an intermediate purely functional programming language}}
+\newglossaryentry{Firmata}{name=Firmata,
+	description={is standardized protocol for communicating with
+	microcontrollers}}
+\newglossaryentry{Javascript}{name=Javascript,
+	description={is an imperative programming language designed to run in web
+	browsers}}
 
 \begin{document}
 \frontmatter{}