{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:11Z","timestamp":1750220051703,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:00:00Z","timestamp":1669680000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003130","name":"Fonds Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["1S93822N"],"award-info":[{"award-number":["1S93822N"]}],"id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,29]]},"DOI":"10.1145\/3563837.3568342","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T19:29:37Z","timestamp":1669922977000},"page":"50-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine"],"prefix":"10.1145","author":[{"given":"Bjarno","family":"Oeyen","sequence":"first","affiliation":[{"name":"Vrije Universiteit Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joeri","family":"De Koster","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"De Meuter","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/3434283"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/S1474-6670(17)40526-X"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1016\/0167-6423(92)90005-V"},{"unstructured":"Adriano Branco Noemi Rodriguez and Silvana Rossetto. 2021. A Virtual Machine for Reactive Programming on IoT devices. https:\/\/web.archive.org\/web\/20220908133001\/http:\/\/bib-di.inf.puc-rio.br\/ftp\/pub\/docs\/techreports\/21_02_branco.pdf \t\t\t\t  Adriano Branco Noemi Rodriguez and Silvana Rossetto. 2021. A Virtual Machine for Reactive Programming on IoT devices. https:\/\/web.archive.org\/web\/20220908133001\/http:\/\/bib-di.inf.puc-rio.br\/ftp\/pub\/docs\/techreports\/21_02_branco.pdf","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1176887.1176899"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5555\/1570935"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1007\/11693024_20"},{"key":"e_1_3_2_1_8_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","unstructured":"Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Clifford Stein . 2009. Introduction to Algorithms , 3 rd Edition. MIT Press . isbn:978-0-262-03384-8 http:\/\/mitpress.mit.edu\/books\/introduction-algorithms Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms, 3rd Edition. MIT Press. isbn:978-0-262-03384-8 http:\/\/mitpress.mit.edu\/books\/introduction-algorithms","edition":"3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/871895.871897"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/2491956.2462161"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/800017.800542"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/3276477"},{"unstructured":"Duktape Contributors. 2022. Duktape. https:\/\/web.archive.org\/web\/20220822064245\/https:\/\/duktape.org\/ \t\t\t\t  Duktape Contributors. 2022. Duktape. https:\/\/web.archive.org\/web\/20220822064245\/https:\/\/duktape.org\/","key":"e_1_3_2_1_13_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/2500365.2500584"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/290229.290234"},{"key":"e_1_3_2_1_16_1","volume-title":"Semantics engineering with PLT Redex","author":"Findler Matthias Felleisen Robert Bruce","year":"2062","unstructured":"Robert Bruce Findler Matthias Felleisen and Matthew Flatt . 2009. Semantics engineering with PLT Redex . MIT Press , Cambridge, Mass . isbn:978026 2062 756 Robert Bruce Findler Matthias Felleisen and Matthew Flatt. 2009. Semantics engineering with PLT Redex. MIT Press, Cambridge, Mass. isbn:9780262062756"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/1900160.1900173"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/1640089.1640091"},{"unstructured":"MicroPython Contributors. 2022. GitHub - micropython\/micropython: MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems. https:\/\/web.archive.org\/web\/20220912080849\/https:\/\/github.com\/micropython\/micropython\/ \t\t\t\t  MicroPython Contributors. 2022. GitHub - micropython\/micropython: MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems. https:\/\/web.archive.org\/web\/20220912080849\/https:\/\/github.com\/micropython\/micropython\/","key":"e_1_3_2_1_19_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/3360570"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.22152\/programming-journal.org\/2019\/3\/5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/3427763.3428316"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/3486605.3486787"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/3281278.3281284"},{"unstructured":"Marc Pouzet. 2010. index. https:\/\/web.archive.org\/web\/20220909125429\/https:\/\/www.di.ens.fr\/ pouzet\/lucid-synchrone\/index.html \t\t\t\t  Marc Pouzet. 2010. index. https:\/\/web.archive.org\/web\/20220909125429\/https:\/\/www.di.ens.fr\/ pouzet\/lucid-synchrone\/index.html","key":"e_1_3_2_1_25_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/2577080.2577083"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/3035544"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/2892664.2892670"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1145\/3357390.3361029"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.22152\/programming-journal.org\/2021\/5\/4"},{"key":"e_1_3_2_1_31_1","volume-title":"Theory and Practice of Computation: Proceedings of Workshop on Computation: Theory and Practice WCTP2016","author":"Suzuki Kohei","year":"2018","unstructured":"Kohei Suzuki , Kanato Nagayama , Kensuke Sawada , and Takuo Watanabe . 2018 . CFRP: A functional reactive programming language for small-scale embedded systems . In Theory and Practice of Computation: Proceedings of Workshop on Computation: Theory and Practice WCTP2016 . 1\u201313. Kohei Suzuki, Kanato Nagayama, Kensuke Sawada, and Takuo Watanabe. 2018. CFRP: A functional reactive programming language for small-scale embedded systems. In Theory and Practice of Computation: Proceedings of Workshop on Computation: Theory and Practice WCTP2016. 1\u201313."},{"unstructured":"TypeSafe Inc.. 2022. Documentation | Akka. https:\/\/web.archive.org\/web\/20220908081951\/https:\/\/akka.io\/docs\/ \t\t\t\t  TypeSafe Inc.. 2022. Documentation | Akka. https:\/\/web.archive.org\/web\/20220908081951\/https:\/\/akka.io\/docs\/","key":"e_1_3_2_1_32_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1145\/507635.507654"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1007\/3-540-45587-6_11"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1007\/978-3-030-26428-4_12"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"REBLS '22","name":"REBLS '22: 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems","location":"Auckland New Zealand"},"container-title":["Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563837.3568342","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563837.3568342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:15Z","timestamp":1750183695000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563837.3568342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":35,"alternative-id":["10.1145\/3563837.3568342","10.1145\/3563837"],"URL":"https:\/\/doi.org\/10.1145\/3563837.3568342","relation":{},"subject":[],"published":{"date-parts":[[2022,11,29]]},"assertion":[{"value":"2022-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}