X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Ffinale.tex;h=9e94d6682fe135ebef2773d281bccf73d06593ac;hb=168cd542dfa23e95e458c0e7391104b712628d5b;hp=687e79e0118a12b6e5448f6b02cc94be3ff44dba;hpb=cdb3ae89b207b609a67f3436d02b7eed6aa4a3ce;p=phd-thesis.git diff --git a/top/finale.tex b/top/finale.tex index 687e79e..9e94d66 100644 --- a/top/finale.tex +++ b/top/finale.tex @@ -281,7 +281,7 @@ This section provides an exhaustive overview of the work on \gls{MTASK} and its \subsection{Generating \ccpp{} code} A first throw at a class-based shallowly \gls{EDSL} for microcontrollers was made by \citet{plasmeijer_shallow_2016}. The language was called \gls{ARDSL} and offered a type safe interface to \gls{ARDUINO} \gls{CPP} dialect. -A \gls{CPP} code generation backend was available together with an \gls{ITASK} simulation backend. +A \gls{CPP} code generation interpretation was available together with an \gls{ITASK} simulation interpretation. There was no support for tasks nor functions. Some time later in the 2015 \gls{CEFP} summer school, an extended version was created that allowed the creation of imperative tasks, local \glspl{SDS} and the usage of functions \citep{koopman_type-safe_2019}. The name then changed from \gls{ARDSL} to \gls{MTASK}.