{Code for the paper ``First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming'': IFL 2022}
{Zenodo}{10.5281/zenodo.6416747}
\end{itemize}
- \item \Fullref{prt:top}:%
+ \item \crtCref{prt:top}: \hspace{8.28992pt}\nameref{prt:top}:%
\todo{add set for green?}%
- \todo{add set for sum\-mer school?}%
+ \todo{add set for sum\-mer scho\-ol?}%
\begin{itemize}
\item \rdmentry{\mlubbers; \pkoopman; \rplasmeijer}{2020}
{Source code for the mTask language}
\label{chp:samenvatting}
%\begin{center}
%\noindent%
-Dit is een samenvatting van 350--400 woorden.
+Het aantal computers om ons heen groeit enorm en hiermee ook de complexiteit van de systemen waarin ze zich bevinden.
+Veel van deze computers zijn \emph{randcomputers} die onderdeel zijn van het Internet of Things (IoT).
+Binnen deze orkesten interacteert deze apparatuur met de buitenwereld door sensoren en actuatoren.
+Randcomputers bevatten vaak goedkope microcontrollers die speciaal ontworpen zijn voor ge\"{\i}ntegreerde systemen.
+Enerzijds hebben ze weinig geheugen, langzame rekenkernen en trage communicatie.
+Anderzijds zijn ze klein en hoogst energie effici\"{e}nt.
+Het programmeren van deze IoT systemen is complex omdat ze dynamisch, interactief, gedistribueerd, samenwerkend, meerlaags en multitasking zijn.
+De complexiteit wordt verder opgestuwd door de semantische wrijving die voortkomt uit de grote verscheidenheid aan hard- en software karakteristieken tussen de lagen.
+Taakge\"{o}rienteerd programmeren (TOP) is hierbij een oplossing.
+In TOP zijn taken, abstracte representaties van werk, de bouwstenen.
+Tijdens het uitvoeren van taken kan de huidige waarde geobserveerd worden en hierop kunnen andere taken reageren.
+Door taken samen te voegen of te transformeren kunnen samenwerkingsvormen uitgedrukt worden.
+Vanuit deze beschrijving wordt een computer systeem gegenereerd dat gebruikers begeleid in het uitvoeren van het werk.
+Een voorbeeld van een TOP-systeem is iTask, ontworpen om interactieve web toepassingen te beschrijven.
+De wens is om TOP ook voor randcomputers te gebruiken, maar het is niet evident hoe TOP-systemen op dusdanig beperkte middelen in te zetten.
+
+Deze dissertatie laat zien hoe gehele IoT systemen georkestreerd kunnen worden met {TOP}.
+Allereerst laat ik een wat technieken zien om ingebedde domein-specifieke talen te maken.
+Daarna beschrijf ik mTask, een TOP-systeem voor randcomputers ingebed in iTask.
+Taken worden tijdens het uitvoeren opgebouwd waardoor ze afgestemd kunnen worden op de huidige werkeisen.
+Vervolgens worden ze naar het apparaat gestuurd ter interpretatie.
+Een randcomputer is geschikt voor een mTask systeem als het uitgerust is met het lichtgewicht domeinspecifieke besturingssysteem.
+Dit stuurprogramma voert de ontvangen taken energiezuinig uit en automatiseert alle communicatie en data verwerking.
+Alle aspecten van het mTask systeem worden beschreven voorbeeldprogramma's, taalontwerp, implementatiedetails, integratie met iTask en de energiezuinige functionaliteit.
+Indien samen met iTask gebruikt, kan een geheel IoT systeem laagloos geprogrammeerd worden, gebruik makend van \'e\'en broncode, programmeertaal en paradigma, abstractieniveau en typesysteem.
+Eveneens worden problemen verzacht zoals semantische wrijving, onderhouds- en robuustheidsproblematiek en moeizame onderlinge samenwerking.
%\end{center}
+\input{subfilepostamble}
\selectlanguage{british}
\end{document}