X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=809f8e7a09e1dc90e13e4d37f2e58bd8c42e89c9;hb=62adc41f28fb8baaa8e1a40d8806b06069d641ed;hp=748a3c617284ef52a94c418481d0a80f125759d0;hpb=9662cccfffecb70d621318b5f3a35e46b6029f3c;p=msc-thesis1617.git diff --git a/glossaries.tex b/glossaries.tex index 748a3c6..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}} @@ -50,10 +52,10 @@ \newglossacr{IoT} {Internet of Things} \newglossacr{JSON} {JavaScript Object Notation} \newglossacr{LCD} {Liquid Crystal Display} -\newglossacr{LTN} {Low Throughput Network} \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}