fix acronym typo

[msc-thesis1617.git] / thesis.tex

diff --git a/thesis.tex b/thesis.tex
index 44921a8..a468137 100644 (file)
--- a/thesis.tex
+++ b/thesis.tex
@@ -2,56 +2,8 @@
 \usepackage[nonumberlist,acronyms]{glossaries}
 \makeglossaries%
 
-\newacronym{GADT}{GADT}{Generalized Algebraic Datatype}
-\newacronym{GPIO}{GPIO}{General-Purpose Input/Output}
-\newacronym{ADT}{ADT}{Algebraic Datatype}
-\newacronym{SDS}{SDS}{Shared Data Source}
-\newacronym{IoT}{IoT}{Internet of Things}
-\newacronym{TOP}{TOP}{Task Oriented Programming}
-\newacronym{EDSL}{(E)DSL}{(Embedded) Design Specific Language}
-\newacronym{RISC}{RISC}{Reduced Instruction Set Computer}
-\newacronym{ARM}{ARM}{Acorn \acrshort{RISC} Machine}
-\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 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 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}}
+\input{acronyms}
+\input{glossaries}
 
 \begin{document}
 \frontmatter{}
@@ -72,13 +24,13 @@
 \chapter*{\centering Abstract}
 \begin{quotation}
        \centering\noindent
-       \input{abstract.tex}
+       \input{abstract}
 \end{quotation}
 
 \chapter*{\centering Acknowledgements}
 \begin{quotation}
        \centering\it\noindent
-       \input{acknowledgements.tex}
+       \input{acknowledgements}
 \end{quotation}
 
 %Table of contents
@@ -87,33 +39,33 @@
 \mainmatter{}
 \glsresetall{}
 \chapter{Introduction}\label{chp:introduction}
-\input{introduction.tex}
+\input{introduction}
 
 \chapter{\acrlong{TOP}}\label{chp:top}
-\input{methods.top.tex}
+\input{methods.top}
 
 \chapter{\acrlongpl{EDSL}}\label{chp:dsl}
-\input{methods.dsl.tex}
+\input{methods.dsl}
 
 \chapter{mTask}\label{chp:mtask}
-\input{methods.mtask.tex}
+\input{methods.mtask}
 
 \chapter{Architecture}\label{chp:arch}
-\input{results.arch.tex}
+\input{results.arch}
 
 \chapter{mTask continued}\label{chp:mtaskcont}
-\input{results.mtask.tex}
+\input{results.mtask}
 
 \chapter{Conclusion \& Discussion}\label{chp:conclusion}
-\input{conclusion.tex}
+\input{conclusion}
 
 \appendix\label{chp:appendix}
 
 \chapter{Communication protocol}\label{app:communication-protocol}
-\input{appendix-protocol.tex}
+\input{appendix-protocol}
 
 \chapter{Device client interface}\label{app:device-interface}
-\input{appendix-device-interface.tex}
+\input{appendix-device-interface}
 
 \cleardoublepage{}
 \phantomsection{}