file = {Lubbers et al. - 2019 - Interpreting Task Oriented Programs on Tiny Comput.pdf:/home/mrl/.local/share/zotero/storage/ATYSJXJ3/Lubbers et al. - 2019 - Interpreting Task Oriented Programs on Tiny Comput.pdf:application/pdf},
}
-@incollection{lubbers_writing_2019,
+@incollection{lubbers_writing_2023,
address = {Cham},
+ series = {Lecture {Notes} in {Computer} {Science}},
title = {Writing {Internet} of {Things} applications with {Task} {Oriented} {Programming}},
abstract = {The Internet of Things (IOT) is growing fast. In 2018, there was approximately one connected device per person on earth and the number has been growing ever since. The devices interact with the environment via different modalities at the same time using sensors and actuators making the programs parallel. Yet, writing this type of programs is difficult because the devices have little computation power and memory, the platforms are heterogeneous and the languages are low level. Task Oriented Programming (TOP) is a novel declarative programming language paradigm that is used to express coordination of work, collaboration of users and systems, the distribution of shared data and the human computer interaction. The mTask language is a specialized, yet full-fledged, multi-backend TOP language for IOT devices. With the bytecode interpretation backend and the integration with iTasks, tasks can be executed on the device dynamically. This means that —according to the current state of affairs— tasks can be tailor-made at run time, compiled to device-agnostic bytecode and shipped to the device for interpretation. Tasks sent to the device are fully integrated in iTasks to allow every form of interaction with the tasks such as observation of the task value and interaction with Shared Data Sources (SDSs). The application is —server and devices— are programmed in a single language, albeit using two embedded Domain Specific Languages (EDSLs).},
language = {en},
- booktitle = {Central {European} {Functional} {Programming} {School}: 8th {Summer} {School}, {CEFP} 2019, {Budapest}, {Hungary}, {July} 17–21, 2019, {Revised} {Selected} {Papers}},
- publisher = {Springer International Publishing},
+ number = {11950},
+ booktitle = {Composability, {Comprehensibility} and {Correctness} of {Working} {Software}, 8th {Summer} {School}, {Budapest}, {Hungary}, {June} 17–21, 2019, {Revised} {Selected} {Papers}},
+ publisher = {Springer},
author = {Lubbers, Mart and Koopman, Pieter and Plasmeijer, Rinus},
- year = {2019},
+ year = {2023},
note = {in-press. preprint at: https://arxiv.org/abs/2212.04193},
pages = {51},
file = {cefp.pdf:/home/mrl/.local/share/zotero/storage/VEWFI5DG/cefp.pdf:application/pdf},
file = {amlap2015.pdf:/home/mrl/.local/share/zotero/storage/H9WTW9TM/amlap2015.pdf:application/pdf;Will_Schuerman_AMLAP2015_Draft2.pdf:/home/mrl/.local/share/zotero/storage/BFBDDVIQ/Will_Schuerman_AMLAP2015_Draft2.pdf:application/pdf},
}
-@incollection{koopman_simulation_2018,
+@incollection{koopman_simulation_2023,
address = {Cham},
+ series = {Lecture {Notes} in {Computer} {Science}},
title = {Simulation of a {Task}-{Based} {Embedded} {Domain} {Specific} {Language} for the {Internet} of {Things}},
language = {en},
- booktitle = {Central {European} {Functional} {Programming} {School}: 7th {Summer} {School}, {CEFP} 2018, {Košice}, {Slovakia}, {January} 22–26, 2018, {Revised} {Selected} {Papers}},
- publisher = {Springer International Publishing},
+ number = {11916},
+ booktitle = {Composability, {Comprehensibility} and {Correctness} of {Working} {Software}, 7th {Winter} {School}, {Kosice}, {Slovakia}, {January} 22–26, 2018, {Revised} {Selected} {Papers}},
+ publisher = {Springer},
author = {Koopman, Pieter and Lubbers, Mart and Plasmeijer, Rinus},
- year = {2018},
+ year = {2023},
note = {in-press},
pages = {51},
}
repositories / phd-thesis.git / blobdiff