From c3f505fc05f88dd9b36b433b615de6be08977601 Mon Sep 17 00:00:00 2001 From: Mart Lubbers 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 —\; 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