process rinus' comments chp 1-4

diff --git a/introduction.tex b/introduction.tex
index 0237c79..9243d2a 100644 (file)
--- a/introduction.tex
+++ b/introduction.tex
@@ -74,8 +74,8 @@ Chapter~\ref{chp:dsl} discusses the pros and cons of different embedding
 methods to create \gls{EDSL}.
 Chapter~\ref{chp:mtask} shows the existing \gls{mTask}-\gls{EDSL} on which is
 extended upon in this dissertation.
-Chapter~\ref{chp:mtaskcont} shows the extension added to the
-\gls{mTask}-\gls{EDSL} that were needed to make the system function.
+Chapter~\ref{chp:mtaskcont} describes the view and functionality for
+the \gls{mTask}-\gls{EDSL} that were added and used in the system.
 Chapter~\ref{chp:arch} shows the architecture used for \gls{IoT}-devices that
 are a part of the new \gls{mTask}-system. It covers the client software running
 on the device and the server written in \gls{iTasks}.

diff --git a/methods.dsl.tex b/methods.dsl.tex
index b7103ef..9101293 100644 (file)
--- a/methods.dsl.tex
+++ b/methods.dsl.tex
@@ -93,7 +93,8 @@ implement.
 
 \section{Class based shallow embedding}
 The third type of embedding is called class-based shallow embedding and has the
-advantages of both shallow and deep embedding. In class-based shallow embedding
+advantages of both shallow and deep
+embedding~\cite{svenningsson_combining_2012}. In class-based shallow embedding
 the language constructs are defined as type classes. This language is shown
 with the new method in Listing~\ref{lst:exclassshallow}.
 

diff --git a/methods.mtask.tex b/methods.mtask.tex
index 6d12848..70cca5b 100644 (file)
--- a/methods.mtask.tex
+++ b/methods.mtask.tex
@@ -21,7 +21,7 @@ view. The second type variable will be the type of the \gls{EDSL}-expression
 and the third type variable represents the role of the expression. Currently
 the role of the expressions form a hierarchy. The three roles and their
 hierarchy are shown in Listing~\ref{lst:exprhier}. This implies that everything
-is a statement, only a \CI{Upd} and a \CI{Expr} are expressions. The \CI{Upd}
+is a statement, only an \CI{Upd} and an \CI{Expr} are expressions. The \CI{Upd}
 restriction describes updatable expressions such as \gls{GPIO} pins and
 \glspl{SDS}.
 

diff --git a/thesis.bib b/thesis.bib
index 24b6d27..8d54ab7 100644 (file)
--- a/thesis.bib
+++ b/thesis.bib
@@ -7,7 +7,6 @@
        author = {Da Xu, Li and He, Wu and Li, Shancang},
        year = {2014},
        pages = {2233--2243},
-       file = {IOT industrial survey.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/EJHG7M8I/IOT industrial survey.pdf:application/pdf}
 }
 
 @inproceedings{svenningsson_combining_2012,
@@ -19,7 +18,6 @@
        author = {Svenningsson, Josef and Axelsson, Emil},
        year = {2012},
        pages = {21--36},
-       file = {svenningsson2013combining.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/NFBGZCZT/svenningsson2013combining.pdf:application/pdf}
 }
 
 @article{koopman_type-safe_nodate,
@@ -27,7 +25,6 @@
        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/a614qfce.default/zotero/storage/WR3PZNTT/TFP_2016_paper_7.pdf:application/pdf}
 }
 
 @phdthesis{oortgiese_distributed_2017,
@@ -50,7 +47,6 @@
        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/a614qfce.default/zotero/storage/ZSDSIIT7/chp%3A10.1007%2F978-3-319-15940-9_5.pdf:application/pdf}
 }
 
 @book{lijnse_top_2013,
@@ -63,7 +59,6 @@
        author = {Lijnse, Bas},
        year = {2013},
        note = {OCLC: 833851220},
-       file = {103931.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/9KZ9I6N9/103931.pdf:application/pdf}
 }
 
 @inproceedings{pike_programming_2014,
@@ -78,7 +73,6 @@
        author = {Pike, Lee and Hickey, Patrick and Bielman, James and Elliott, Trevor and DuBuisson, Thomas and Launchbury, John},
        year = {2014},
        pages = {1--2},
-       file = {pike-plpv14.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/MTUSHBNF/pike-plpv14.pdf:application/pdf}
 }
 
 @inproceedings{brus_cleanlanguage_1987,
@@ -90,7 +84,6 @@
        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/a614qfce.default/zotero/storage/GCEPPRUJ/chp%3A10.1007%2F3-540-18317-5_20.pdf:application/pdf}
 }
 
 @incollection{havelund_practical_2015,
@@ -106,7 +99,6 @@
        editor = {Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev},
        year = {2015},
        note = {DOI: 10.1007/978-3-319-17524-9},
-       file = {mart_paper.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf}
 }
 
 @incollection{plasmeijer_shallow_2016,
@@ -122,7 +114,6 @@
        author = {Plasmeijer, Rinus and Koopman, Pieter},
        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/a614qfce.default/zotero/storage/TJVP6FHF/chp%3A10.1007%2F978-3-319-39110-6_6.pdf:application/pdf}
 }
 
 @techreport{cheney_first-class_2003,
@@ -132,7 +123,6 @@
        institution = {Cornell University},
        author = {Cheney, James and Hinze, Ralf},
        year = {2003},
-       file = {https\://ecommons.cornell.edu/bitstream/handle/1813/5614/?sequence=1:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/R5IFMHTP/5614.pdf:application/pdf}
 }
 
 @inproceedings{cheney_lightweight_2002,
@@ -144,7 +134,6 @@
        author = {Cheney, James and Hinze, Ralf},
        year = {2002},
        pages = {90--104},
-       file = {HW02.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/A8Z49NK6/HW02.pdf:application/pdf}
 }
 
 @article{domoszlai_implementing_2011,
@@ -156,7 +145,6 @@
        author = {Domoszlai, Laszlo and Bruel, Eddy and Jansen, Jan Martin},
        year = {2011},
        pages = {76--98},
-       file = {53fc40190cf22f21c2f3b28a.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/2EVHREI3/53fc40190cf22f21c2f3b28a.pdf:application/pdf}
 }
 
 @inproceedings{domoszlai_compiling_2012,
@@ -166,7 +154,6 @@
        booktitle = {Selected papers of 9th {Joint} {Conference} on {Mathematics} and {Computer} {Science} ({February} 2012)},
        author = {Domoszlai, László and Plasmeijer, Rinus},
        year = {2012},
-       file = {117_36.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/DMQC59C4/117_36.pdf:application/pdf}
 }
 
 @article{plasmeijer_itasks:_2007,
@@ -177,7 +164,6 @@
        author = {Plasmeijer, Rinus and Achten, Peter and Koopman, Pieter},
        year = {2007},
        pages = {141--152},
-       file = {plar2007-ICFP07-iTasks.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/N8EUZP7D/plar2007-ICFP07-iTasks.pdf:application/pdf}
 }
 
 @misc{noauthor_harduino_nodate,
@@ -185,7 +171,6 @@
        url = {https://leventerkok.github.io/hArduino/},
        howpublished = {https://leventerkok.github.io/hArduino/},
        urldate = {2017-05-23},
-       file = {hArduino by LeventErkok:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/JUDWSMV9/hArduino.html:text/html}
 }
 
 @inproceedings{elliott_guilt_2015,
@@ -196,7 +181,6 @@
        author = {Elliott, Trevor and Pike, Lee and Winwood, Simon and Hickey, Pat and Bielman, James and Sharp, Jamey and Seidel, Eric and Launchbury, John},
        year = {2015},
        pages = {189--200},
-       file = {5678351608ae125516ee79c6.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/KJMFUH7T/5678351608ae125516ee79c6.pdf:application/pdf}
 }
 
 @article{riazul_islam_internet_2015,
@@ -211,7 +195,6 @@
        author = {Riazul Islam, S. M. and {Daehan Kwak} and Humaun Kabir, Md and Hossain, Mahmud and {Kyung-Sup Kwak}},
        year = {2015},
        pages = {678--708},
-       file = {07113786.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7FNMPTHJ/07113786.pdf:application/pdf}
 }
 
 @article{jansen_efficient_2007,
@@ -223,14 +206,12 @@
        author = {Jansen, Jan Martin and Koopman, Pieter and Plasmeijer, Rinus},
        year = {2007},
        pages = {73},
-       file = {janj2007-TFP06-EfficientInterpretationOfSAPL.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/AQDI7QVE/janj2007-TFP06-EfficientInterpretationOfSAPL.pdf:application/pdf}
 }
 
 @misc{noauthor_firmata/protocol:_nodate,
        title = {firmata/protocol: {Documentation} of the {Firmata} protocol.},
        url = {https://github.com/firmata/protocol},
        urldate = {2017-05-23},
-       file = {firmata/protocol\: Documentation of the Firmata protocol.:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/98HIGKIS/protocol.html:text/html}
 }
 
 @misc{noauthor_arduino_nodate,
@@ -238,7 +219,6 @@
        url = {http://www.arduino.org/},
        howpublished = {\url{http://www.arduino.org/}},
        urldate = {2017-05-23},
-       file = {Arduino - Open Source Products for Electronic Projects:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/FPPFH7D2/www.arduino.org.html:text/html}
 }
 
 @inproceedings{hickey_building_2014,
@@ -252,7 +232,6 @@
        author = {Hickey, Patrick C. and Pike, Lee and Elliott, Trevor and Bielman, James and Launchbury, John},
        year = {2014},
        pages = {3--9},
-       file = {embedded-experience.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7IHBGC8H/embedded-experience.pdf:application/pdf}
 }
 
 @inproceedings{domoszlai_parametric_2014,
@@ -265,5 +244,4 @@
        author = {Domoszlai, László and Lijnse, Bas and Plasmeijer, Rinus},
        year = {2014},
        pages = {9},
-       file = {ifl2014_submission_20.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/3WI8PI5D/ifl2014_submission_20.pdf:application/pdf}
 }

diff --git a/thesis.pre b/thesis.pre
index 1a12f73..ef044a4 100644 (file)
--- a/thesis.pre
+++ b/thesis.pre
@@ -114,7 +114,7 @@
        language=Clean
 }
 
-\setcounter{secnumdepth}{4}
+\setcounter{secnumdepth}{3}
 
 \title{Task Oriented Programming and the Internet of Things}
 \author{Mart Lubbers BSc.\\