{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:21:58Z","timestamp":1751660518983,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T00:00:00Z","timestamp":1565222400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Collaborative Research Center","award":["TR 248, 389792660"],"award-info":[{"award-number":["TR 248, 389792660"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1302327"],"award-info":[{"award-number":["1302327"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011199","name":"European Research Council","doi-asserted-by":"publisher","award":["683300"],"award-info":[{"award-number":["683300"]}],"id":[{"id":"10.13039\/100011199","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,8]]},"DOI":"10.1145\/3331545.3342601","type":"proceedings-article","created":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T20:51:45Z","timestamp":1564433505000},"page":"162-175","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Synthesizing functional reactive programs"],"prefix":"10.1145","author":[{"given":"Bernd","family":"Finkbeiner","sequence":"first","affiliation":[{"name":"Saarland University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Klein","sequence":"additional","affiliation":[{"name":"Saarland University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruzica","family":"Piskac","sequence":"additional","affiliation":[{"name":"Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Santolucito","sequence":"additional","affiliation":[{"name":"Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Haskell library","author":"Apfelmus Heinrich","year":"2012","unstructured":"Heinrich Apfelmus . 2012. Reactive-banana. Haskell library available at http:\/\/www. haskell. org\/haskellwiki\/Reactive-banana ( 2012 ). Heinrich Apfelmus. 2012. Reactive-banana. Haskell library available at http:\/\/www. haskell. org\/haskellwiki\/Reactive-banana (2012)."},{"key":"e_1_3_2_1_2_1","unstructured":"Heinrich Apfelmus. 2013. Threepenny-gui. https:\/\/wiki.haskell.org\/ Threepenny-gui .  Heinrich Apfelmus. 2013. Threepenny-gui. https:\/\/wiki.haskell.org\/ Threepenny-gui ."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242757"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535860"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535881"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871897"},{"volume-title":"Ground temporal logic: A logic for hardware verification","author":"Cyrluk David","key":"e_1_3_2_1_9_1","unstructured":"David Cyrluk and Paliath Narendran . 1994. Ground temporal logic: A logic for hardware verification . In CAV. Springer , 247\u2013259. David Cyrluk and Paliath Narendran. 1994. Ground temporal logic: A logic for hardware verification. In CAV. Springer, 247\u2013259."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462161"},{"volume-title":"Counterexample-Guided Synthesis of Observation Predicates","author":"Dimitrova Rayna","key":"e_1_3_2_1_11_1","unstructured":"Rayna Dimitrova and Bernd Finkbeiner . 2012. Counterexample-Guided Synthesis of Observation Predicates . Springer Berlin Heidelberg , Berlin, Heidelberg , 107\u2013122. Rayna Dimitrova and Bernd Finkbeiner. 2012. Counterexample-Guided Synthesis of Observation Predicates. Springer Berlin Heidelberg, Berlin, Heidelberg, 107\u2013122."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/258949.258973"},{"key":"e_1_3_2_1_13_1","volume-title":"CAV 2019, New York, NY, USA, July 15-18, 2019, Proceedings, Part I.","author":"Finkbeiner Bernd","year":"2019","unstructured":"Bernd Finkbeiner , Felix Klein , Ruzica Piskac , and Mark Santolucito . 2019 . Temporal Stream Logic: Synthesis beyond the Bools. In Computer Aided Verification - 31th International Conference , CAV 2019, New York, NY, USA, July 15-18, 2019, Proceedings, Part I. Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito. 2019. Temporal Stream Logic: Synthesis beyond the Bools. In Computer Aided Verification - 31th International Conference, CAV 2019, New York, NY, USA, July 15-18, 2019, Proceedings, Part I."},{"key":"e_1_3_2_1_14_1","unstructured":"Samuel G\u00e9lineau. 2016. FRPzoo - Comparing many FRP implementations by reimplementing the same toy app in each. https:\/\/github.com\/gelisam\/ frp-zoo .  Samuel G\u00e9lineau. 2016. FRPzoo - Comparing many FRP implementations by reimplementing the same toy app in each. https:\/\/github.com\/gelisam\/ frp-zoo ."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2975980.2975982"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103776.2103783"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2012.08.015"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Gangyuan Jing Tarik Tosun Mark Yim and Hadas Kress-Gazit. 2016. An End-To-End System for Accomplishing Tasks with Modular Robots. In RSS.  Gangyuan Jing Tarik Tosun Mark Yim and Hadas Kress-Gazit. 2016. An End-To-End System for Accomplishing Tasks with Modular Robots. In RSS.","DOI":"10.24963\/ijcai.2017\/686"},{"key":"e_1_3_2_1_20_1","volume-title":"Parameterized Synthesis Case Study: AMBA AHB. In SYNT","author":"Khalimov Ayrat","year":"2014","unstructured":"Ayrat Khalimov , Roderick Paul Bloem , and Swen Jacobs . 2014 . Parameterized Synthesis Case Study: AMBA AHB. In SYNT 2014, Susmit Jha Krishnendu Chatterjee, R\u00fcdiger Ehlers (Ed.). Ayrat Khalimov, Roderick Paul Bloem, and Swen Jacobs. 2014. Parameterized Synthesis Case Study: AMBA AHB. In SYNT 2014, Susmit Jha Krishnendu Chatterjee, R\u00fcdiger Ehlers (Ed.)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500588"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806632"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.02.018"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000153"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.10.006"},{"key":"e_1_3_2_1_26_1","volume-title":"LIPIcsLeibniz International Proceedings in Informatics","volume":"12","author":"Madhusudan Parthasarathy","year":"2011","unstructured":"Parthasarathy Madhusudan . 2011 . Synthesizing reactive programs . In LIPIcsLeibniz International Proceedings in Informatics , Vol. 12 . Parthasarathy Madhusudan. 2011. Synthesizing reactive programs. In LIPIcsLeibniz International Proceedings in Informatics, Vol. 12."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291211"},{"key":"e_1_3_2_1_28_1","volume-title":"CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science), Hana Chockler and Georg Weissenbacher (Eds.)","volume":"10981","author":"Meyer Philipp J.","year":"2018","unstructured":"Philipp J. Meyer , Salomon Sickert , and Michael Luttenberger . 2018 . Strix: Explicit Reactive Synthesis Strikes Back!. In Computer Aided Verification - 30th International Conference , CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science), Hana Chockler and Georg Weissenbacher (Eds.) , Vol. 10981 . Springer, 578\u2013586. Philipp J. Meyer, Salomon Sickert, and Michael Luttenberger. 2018. Strix: Explicit Reactive Synthesis Strikes Back!. In Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science), Hana Chockler and Georg Weissenbacher (Eds.), Vol. 10981. Springer, 578\u2013586."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2975980.2975986"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2738007"},{"key":"e_1_3_2_1_31_1","volume-title":"International Workshop on Functional and Constraint Logic Programming. Springer.","author":"Patai Gergely","year":"2010","unstructured":"Gergely Patai . 2010 . Efficient and compositional higher-order streams . In International Workshop on Functional and Constraint Logic Programming. Springer. Gergely Patai. 2010. Efficient and compositional higher-order streams. In International Workshop on Functional and Constraint Logic Programming. Springer."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122938.3122944"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976010"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110246"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_24"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784752"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"e_1_3_2_1_40_1","volume-title":"ICMC 2015","author":"Santolucito Mark","year":"2015","unstructured":"Mark Santolucito , Donya Quick , and Paul Hudak . 2015 . Media Modules: Intermedia Systems in a Pure Functional Paradigm . In ICMC 2015 , Denton, TX, USA. http:\/\/hdl.handle.net\/ 2027\/spo.bbp2372.2015.077 Mark Santolucito, Donya Quick, and Paul Hudak. 2015. Media Modules: Intermedia Systems in a Pure Functional Paradigm. In ICMC 2015, Denton, TX, USA. http:\/\/hdl.handle.net\/2027\/spo.bbp2372.2015.077"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892664.2892670"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-011-9068-x"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984011"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_1_45_1","unstructured":"Ryan Trinkle. 2017. Reflex-FRP. https:\/\/github.com\/reflex-frp\/reflex .  Ryan Trinkle. 2017. Reflex-FRP. https:\/\/github.com\/reflex-frp\/reflex ."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0232-3"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486030"},{"key":"e_1_3_2_1_48_1","unstructured":"Daniel Winograd-Cort. 2015. Effects Asynchrony and Choice in Arrowized Functional Reactive Programming. Ph.D. Dissertation. Yale University.  Daniel Winograd-Cort. 2015. Effects Asynchrony and Choice in Arrowized Functional Reactive Programming. Ph.D. Dissertation. Yale University."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628140"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976019"}],"event":{"name":"ICFP '19: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Berlin Germany","acronym":"ICFP '19"},"container-title":["Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342601","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3331545.3342601","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3331545.3342601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:39Z","timestamp":1750202019000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342601"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,8]]},"references-count":49,"alternative-id":["10.1145\/3331545.3342601","10.1145\/3331545"],"URL":"https:\/\/doi.org\/10.1145\/3331545.3342601","relation":{},"subject":[],"published":{"date-parts":[[2019,8,8]]},"assertion":[{"value":"2019-08-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}