X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=d76add4b39467f131c8cb1ced78e6670206be573;hb=536f0a97037341dfeace97a7fb8f760aa12e978a;hp=1e99f7f51333632b2783d07bb858f254580c260b;hpb=d11a7941da4024ec8ff9ef6afaebb6eb9d2c6ed4;p=msc-thesis1617.git diff --git a/glossaries.tex b/glossaries.tex index 1e99f7f..d76add4 100644 --- a/glossaries.tex +++ b/glossaries.tex @@ -2,13 +2,13 @@ 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}} \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 \acrshort{TOP} implementation written as an + \acrshort{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}} @@ -32,25 +32,28 @@ browsers}} \newglossaryentry{LED}{name={LED}, description={Lighting Emitting Diode}} -\newcommand{\newglossacr}[2]{\newglossaryentry{#1}{name={#1},first={% - \glsentrylong{#1} (\glsentryname{#1})},firstplural={\glsentrylong{#1}% - \glspluralsuffix (\glsentryname{#1}\glspluralsuffix},description={#2}}} -\newglossacr{GADT}{Generalized Algebraic Data type} -\newglossacr{GPIO} {General-Purpose Input/Output} +\newcommand{\newglossacr}[2]{\newglossaryentry{#1}{ + name={#1}, + first={#2 (#1)},% + firstplural={#2\glspluralsuffix{} (#1\glspluralsuffix)}, + description={#2}}} \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{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}