{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:54Z","timestamp":1750306134406,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"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":["D3-CPS"],"award-info":[{"award-number":["D3-CPS"]}],"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":[[2017,10,23]]},"DOI":"10.1145\/3141858.3141862","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"21-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["First-class reactive programs for CPS"],"prefix":"10.1145","author":[{"given":"Christophe","family":"De Troyer","sequence":"first","affiliation":[{"name":"Vrije Universiteit Brussel, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Nicolay","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":[[2017,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2684432.2684439"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781133"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IOT.2015.7356560"},{"key":"e_1_3_2_1_4_1","unstructured":"Gyeongmin Lee Seonyeong Heo Bongjun Kim and Jong Kim Hanjun Kim. [n. d.]. Integrated IoT Programming with Selective Abstraction. ([n. d.]).  Gyeongmin Lee Seonyeong Heo Bongjun Kim and Jong Kim Hanjun Kim. [n. d.]. Integrated IoT Programming with Selective Abstraction. ([n. d.])."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2009.143"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Philip Levis Sam Madden Joseph Polastre Robert Szewczyk Kamin Whitehouse Alec Woo David Gay Jason Hill Matt Welsh Eric Brewer etal 2005. TinyOS: An operating system for sensor networks. Ambient intelligence 35 (2005) 115\u2013148.  Philip Levis Sam Madden Joseph Polastre Robert Szewczyk Kamin Whitehouse Alec Woo David Gay Jason Hill Matt Welsh Eric Brewer et al. 2005. TinyOS: An operating system for sensor networks. Ambient intelligence 35 (2005) 115\u2013148.","DOI":"10.1007\/3-540-27139-2_7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2016.17"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCCC.2007.12"}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Vancouver BC Canada","acronym":"SPLASH '17"},"container-title":["Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141858.3141862","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3141858.3141862","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:14Z","timestamp":1750217834000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3141858.3141862"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":8,"alternative-id":["10.1145\/3141858.3141862","10.1145\/3141858"],"URL":"https:\/\/doi.org\/10.1145\/3141858.3141862","relation":{},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}