{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:59:15Z","timestamp":1750309155227,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,7]],"date-time":"2022-06-07T00:00:00Z","timestamp":1654560000000},"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,6,7]]},"DOI":"10.1145\/3611096.3611101","type":"proceedings-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T23:12:42Z","timestamp":1697497962000},"page":"18-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Graph-Based Formal Semantics of Reactive Programming from First Principles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2100-4559","authenticated-orcid":false,"given":"Bjarno","family":"Oeyen","sequence":"first","affiliation":[{"name":"Software Languages Lab, Vrije Universiteit Brussel, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2932-8208","authenticated-orcid":false,"given":"Joeri","family":"De Koster","sequence":"additional","affiliation":[{"name":"Software Languages Lab, Vrije Universiteit Brussel, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5229-5627","authenticated-orcid":false,"given":"Wolfgang","family":"De Meuter","sequence":"additional","affiliation":[{"name":"Software Languages Lab, Vrije Universiteit Brussel, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2023,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/290229.290234"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434283"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501654.2501666"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13953-6_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3354166.3354172"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_20"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45241-9_3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462161"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2020.19"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276477"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"volume-title":"Semantics Engineering with PLT Redex","author":"Felleisen Matthias","key":"e_1_3_2_1_13_1","unstructured":"Matthias Felleisen , Robert\u00a0Bruce Findler , and Matthew Flatt . 2009. Semantics Engineering with PLT Redex . MIT Press, London , England . Matthias Felleisen, Robert\u00a0Bruce Findler, and Matthew Flatt. 2009. Semantics Engineering with PLT Redex. MIT Press, London, England."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_18"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.9"},{"volume-title":"An axiomatic semantics for functional reactive programming. Ph.\u00a0D. Dissertation","author":"King T","key":"e_1_3_2_1_17_1","unstructured":"Christopher\u00a0 T King . 2008. An axiomatic semantics for functional reactive programming. Ph.\u00a0D. Dissertation . Worcester Polytechnic Institute . Christopher\u00a0T King. 2008. An axiomatic semantics for functional reactive programming. Ph.\u00a0D. Dissertation. Worcester Polytechnic Institute."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.38"},{"key":"e_1_3_2_1_19_1","unstructured":"Adriaan Leijnse. 2020. An introduction to Denotative Continuous Spacetime Programming. https:\/\/2020.splashcon.org\/details\/rebls-2020-papers\/8\/An-Introduction-to-Denotative-Continuous-Spacetime-Programming-Work-in-Progress-  Adriaan Leijnse. 2020. An introduction to Denotative Continuous Spacetime Programming. https:\/\/2020.splashcon.org\/details\/rebls-2020-papers\/8\/An-Introduction-to-Denotative-Continuous-Spacetime-Programming-Work-in-Progress-"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.10.006"},{"key":"e_1_3_2_1_21_1","unstructured":"Ingo Maier and Martin Odersky. 2012. Deprecating the Observer Pattern with Scala.React. (2012) 20\u00a0pages. http:\/\/infoscience.epfl.ch\/record\/176887  Ingo Maier and Martin Odersky. 2012. Deprecating the Observer Pattern with Scala.React. (2012) 20\u00a0pages. http:\/\/infoscience.epfl.ch\/record\/176887"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1900160.1900173"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640091"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3427763.3428316"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3486605.3486787"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976010"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2577080.2577083"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892664.2892670"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596558"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281366.3281370"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org"},{"key":"e_1_3_2_1_34_1","unstructured":"Typesafe inc.[n. d.]. Akka: Build concurrent distributed and resilient message-driven applications for Java and scala. https:\/\/akka.io\/  Typesafe inc.[n. d.]. Akka: Build concurrent distributed and resilient message-driven applications for Java and scala. https:\/\/akka.io\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45587-6_11"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3427763.3428314"}],"event":{"name":"FTfJP '22: 24th ACM International Workshop on Formal Techniques for Java-like Programs","acronym":"FTfJP '22","location":"Berlin Germany"},"container-title":["Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611096.3611101","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611096.3611101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:54Z","timestamp":1750287054000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611096.3611101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,7]]},"references-count":37,"alternative-id":["10.1145\/3611096.3611101","10.1145\/3611096"],"URL":"https:\/\/doi.org\/10.1145\/3611096.3611101","relation":{},"subject":[],"published":{"date-parts":[[2022,6,7]]},"assertion":[{"value":"2023-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}