X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=809f8e7a09e1dc90e13e4d37f2e58bd8c42e89c9;hb=62adc41f28fb8baaa8e1a40d8806b06069d641ed;hp=c84b0b8233dc4e2a70e6f03c1292acf5b22689a5;hpb=ab546cf018589757a516121ebfcc78080827bcff;p=msc-thesis1617.git

diff --git a/glossaries.tex b/glossaries.tex
index c84b0b8..809f8e7 100644
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -2,20 +2,22 @@
 	description={is a cheap and popular microcontroller that is widely used for
 	rapid prototyping}}
 \newglossaryentry{Clean}{name={\emph{Clean}},
-	description={is a staticly typed pure lazy functional programming language based on graph
-		rewriting}}
+	description={is a statically typed pure lazy functional programming
+	language based on graph rewriting}}
 \newglossaryentry{Haskell}{name={\emph{Haskell}},
-	description={is a staticly typed pure lazy functional programming language}}
+	description={is a statically typed pure lazy functional programming
+	language}}
 \newglossaryentry{iTasks}{name=\emph{iTasks},
-	description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL}
-	in the \gls{Clean} programming language}}
+	description={is a \gls{TOP} implementation written as an
+	\gls{EDSL} in the \gls{Clean} programming language}}
 \newglossaryentry{Ivory}{name={\emph{Ivory}},
 	description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code
 	for high-assurance low-level systems}}
 \newglossaryentry{Task}{name=\emph{Task},
-	description={is the basic building block of a \acrshort{TOP} system}}
+	description={is the basic building block of a \gls{TOP} system}}
 \newglossaryentry{mTask}{name=\emph{mTask},
-	description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
+	description={is an abstraction for \glspl{Task} living on \gls{IoT}
+	devices. Moreover, it is the name of an \gls{EDSL}}}
 \newglossaryentry{C}{name=\textsc{C},
 	description={is low-level imperative programming language suitable for
 	embedded devices}}
@@ -37,22 +39,23 @@
 	first={#2 (#1)},%
 	firstplural={#2\glspluralsuffix{} (#1\glspluralsuffix)},
 	description={#2}}}
-\newglossacr{GADT}{Generalized Algebraic Data type}
-\newglossacr{GPIO}   {General-Purpose Input/Output}
 \newglossacr{ADT}    {Algebraic Datatype}
-\newglossacr{SDS}    {Shared Data Source}
-\newglossacr{IoT}    {Internet of Things}
-\newglossacr{TOP}    {Task Oriented Programming}
-\newglossacr{EDSL}   {Embedded Domain Specific Language}
-\newglossacr{RISC}   {Reduced Instruction Set Computer}
 \newglossacr{ARM}    {Acorn \glsentryname{RISC} Machine}
-\newglossacr{LTN}    {Low Throughput Network}
-\newglossacr{IDE}    {Integrated Development Environment}
-\newglossacr{TCP}    {Transmission Control Protocol}
-\newglossacr{RFID}   {Radio-Frequency Identification}
-\newglossacr{GNSS}   {Global Navigation Satellite System}
-\newglossacr{LCD}    {Liquid Crystal Display}
 \newglossacr{AST}    {Abstract Syntax Tree}
-\newglossacr{GPS}    {Global Positioning System}
+\newglossacr{EDSL}   {Embedded Domain Specific Language}
+\newglossacr{GADT}   {Generalized Algebraic Data type}
 \newglossacr{GLONASS}{Global Navigation Satellite System}
-\newglossacr{RWST}{Reader Writer State Transformer Monad}
+\newglossacr{GNSS}   {Global Navigation Satellite System}
+\newglossacr{GPIO}   {General-Purpose Input/Output}
+\newglossacr{GPS}    {Global Positioning System}
+\newglossacr{IDE}    {Integrated Development Environment}
+\newglossacr{IoT}    {Internet of Things}
+\newglossacr{JSON}   {JavaScript Object Notation}
+\newglossacr{LCD}    {Liquid Crystal Display}
+\newglossacr{RFID}   {Radio-Frequency Identification}
+\newglossacr{RISC}   {Reduced Instruction Set Computer}
+\newglossacr{RWST}   {Reader Writer State Transformer Monad}
+\newglossacr{SDS}    {Shared Data Source}
+\newglossacr{TCP}    {Transmission Control Protocol}
+\newglossacr{TOP}    {Task Oriented Programming}
+\newglossacr{MSB}    {Most Significant Byte}