From c3f505fc05f88dd9b36b433b615de6be08977601 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Fri, 24 Feb 2017 08:53:32 +0100
Subject: [PATCH] started to write some things and populate the bibtex db

---
 introduction.tex | 22 +++++++++++++++++++++-
 methods.tex      |  3 +++
 thesis.bib       | 46 ++++++++++++++++++++++++++++++++++++++++++++++
 thesis.tex       | 19 +++++++++++++++----
 4 files changed, 85 insertions(+), 5 deletions(-)

diff --git a/introduction.tex b/introduction.tex
index 70a36b3..cc6b22d 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -1,2 +1,22 @@
-\todo{What am I doing}
+The main goal of this thesis is to present a way to connect small \gls{IoT}
+devices with high level \gls{TOP} languages.
+
+\section{\acrlong{IoT}}
+
+
+\section{\acrlong{TOP}}
+
 \todo{Structure of the thesis}
+
+
+\gls{TOP} is a recent new programming paradigm implemented as
+\gls{iTasks}~\cite{achten_introduction_2015} in
+the pure lazy functional language \gls{Clean}
+
+\todo{Main terms}
+The lazy functional programming language based on graph rewriting
+\gls{Clean}~\cite{brus_cleanlanguage_1987}
+
+\todo{What am I doing}
+
+
diff --git a/methods.tex b/methods.tex
index c38fcfc..e510ecb 100644
--- a/methods.tex
+++ b/methods.tex
@@ -1,2 +1,5 @@
+
 \todo{What is IoT}
 \todo{What is top}
+
+\section{mTasks}
diff --git a/thesis.bib b/thesis.bib
index e69de29..3b6d9d0 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -0,0 +1,46 @@
+
+@incollection{achten_introduction_2015,
+	title = {An {Introduction} to {Task} {Oriented} {Programming}},
+	booktitle = {Central {European} {Functional} {Programming} {School}},
+	publisher = {Springer},
+	author = {Achten, Peter and Koopman, Pieter and Plasmeijer, Rinus},
+	year = {2015},
+	pages = {187--245},
+	file = {chp%3A10.1007%2F978-3-319-15940-9_5.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/ZSDSIIT7/chp%3A10.1007%2F978-3-319-15940-9_5.pdf:application/pdf}
+}
+
+@incollection{serrano_shallow_2016,
+	address = {Cham},
+	series = {Lecture {Notes} in {Computer} {Science}},
+	title = {A {Shallow} {Embedded} {Type} {Safe} {Extendable} {DSL} for the {Arduino}},
+	volume = {9547},
+	isbn = {978-3-319-39109-0 978-3-319-39110-6},
+	url = {http://link.springer.com/10.1007/978-3-319-39110-6},
+	urldate = {2017-02-22},
+	booktitle = {Trends in {Functional} {Programming}},
+	publisher = {Springer International Publishing},
+	editor = {Serrano, Manuel and Hage, Jurriaan},
+	year = {2016},
+	note = {DOI: 10.1007/978-3-319-39110-6},
+	file = {chp%3A10.1007%2F978-3-319-39110-6_6.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/TJVP6FHF/chp%3A10.1007%2F978-3-319-39110-6_6.pdf:application/pdf}
+}
+
+@article{koopman_type-safe_????,
+	title = {Type-{Safe} {Functions} and {Tasks} in a {Shallow} {Embedded} {DSL} for {Microprocessors}},
+	url = {https://tfp2016.org/papers/TFP_2016_paper_7.pdf},
+	urldate = {2017-02-22},
+	author = {Koopman, Pieter and Plasmeijer, Rinus},
+	file = {TFP_2016_paper_7.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/WR3PZNTT/TFP_2016_paper_7.pdf:application/pdf}
+}
+
+@inproceedings{brus_cleanlanguage_1987,
+	title = {Clean—a language for functional graph rewriting},
+	url = {http://link.springer.com/chapter/10.1007/3-540-18317-5_20},
+	urldate = {2017-02-24},
+	booktitle = {Conference on {Functional} {Programming} {Languages} and {Computer} {Architecture}},
+	publisher = {Springer},
+	author = {Brus, T. H. and van Eekelen, Marko CJD and Van Leer, M. O. and Plasmeijer, Marinus J.},
+	year = {1987},
+	pages = {364--384},
+	file = {Clean &#x2014\; A language for functional graph rewriting - chp%3A10.1007%2F3-540-18317-5_20.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/GCEPPRUJ/chp%3A10.1007%2F3-540-18317-5_20.pdf:application/pdf}
+}
diff --git a/thesis.tex b/thesis.tex
index 5d5e2d3..4158a1b 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -1,10 +1,21 @@
 %&thesis
-%\usepackage[xindy={codepage=utf8},nonumberlist,acronyms]{glossaries}
 \usepackage[nonumberlist,acronyms]{glossaries}
 \makeglossaries%
-\newacronym{sds}{SDS}{Shared Data Source}
-\newacronym{iot}{IoT}{Internet of Things}
-\newacronym{top}{TOP}{Task Oriented Programming}
+
+\newacronym{SDS}{SDS}{Shared Data Source}
+\newacronym{IoT}{IoT}{Internet of Things}
+\newacronym{TOP}{TOP}{Task Oriented Programming}
+\newglossaryentry{Clean}{%
+	name=Clean,
+	description={is a pure lazy functional programming language based on graph
+		rewriting}
+}
+\newglossaryentry{iTasks}{
+	name=iTasks,
+	description={is a \acrshort{TOP} implementation written in the \gls{Clean}
+		programming language}
+}
+
 
 \begin{document}
 \frontmatter{}
-- 
2.20.1