{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T06:12:55Z","timestamp":1784527975200,"version":"3.55.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T00:00:00Z","timestamp":1713484800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T00:00:00Z","timestamp":1713484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2049911"],"award-info":[{"award-number":["2049911"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1651817"],"award-info":[{"award-number":["1651817"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1545028"],"award-info":[{"award-number":["1545028"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1900716"],"award-info":[{"award-number":["1900716"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1909688"],"award-info":[{"award-number":["1909688"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2024,9]]},"DOI":"10.1007\/s11047-024-09982-5","type":"journal-article","created":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T12:01:30Z","timestamp":1713528090000},"page":"477-495","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reactamole: functional reactive molecular programming"],"prefix":"10.1007","volume":"23","author":[{"given":"Titus H.","family":"Klinge","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James I.","family":"Lathrop","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter-Michael","family":"Osera","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Allison","family":"Rogers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,4,19]]},"reference":[{"issue":"4","key":"9982_CR1","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s00446-005-0138-3","volume":"18","author":"D Angluin","year":"2006","unstructured":"Angluin D, Aspnes J, Diamadi Z, Fischer MJ, Peralta R (2006) Computation in networks of passively mobile finite-state sensors. Distrib Comput 18(4):235\u2013253","journal-title":"Distrib Comput"},{"issue":"2","key":"9982_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00282276","volume":"19","author":"R Aris","year":"1964","unstructured":"Aris R (1964) Prolegomena to the rational analysis of systems of chemical reactions. Arch Ration Mech Anal 19(2):81\u201399","journal-title":"Arch Ration Mech Anal"},{"key":"9982_CR3","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-319-66799-7_15","volume-title":"DNA computing and molecular programming","author":"S Badelt","year":"2017","unstructured":"Badelt S, Shin SW, Johnson RF, Dong Q, Thachuk C, Winfree E (2017) A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities. In: Brijder R, Qian L (eds) DNA computing and molecular programming. Springer, Cham, pp 232\u2013248"},{"issue":"4","key":"9982_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2501654.2501666","volume":"45","author":"E Bainomugisha","year":"2013","unstructured":"Bainomugisha E, Carreton AL, Cutsem TV, Mostinckx S, de Meuter W (2013) A survey on reactive programming. ACM Comput Surv 45(4):1\u201334","journal-title":"ACM Comput Surv"},{"key":"9982_CR5","doi-asserted-by":"crossref","unstructured":"Bournez O, Gra\u00e7a DS, Pouly A (2017a) Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length. J ACM 64(6):1\u201376","DOI":"10.1145\/3127496"},{"key":"9982_CR6","doi-asserted-by":"crossref","unstructured":"Bournez O, Gra\u00e7a D, Pouly A (2017b) On the functions generated by the general purpose analog computer. Inf Comput 257:34\u201357","DOI":"10.1016\/j.ic.2017.09.015"},{"issue":"14","key":"9982_CR7","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone L, Fages F, Soliman S (2006) BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14):1805\u20131807","journal-title":"Bioinformatics"},{"key":"9982_CR8","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-030-60327-4_22","volume-title":"Computational methods in systems biology","author":"L Cardelli","year":"2020","unstructured":"Cardelli L (2020) Kaemika App: integrating protocols and chemical simulation. In: Abate A, Petrov T, Wolf V (eds) Computational methods in systems biology. Springer, Cham, pp 373\u2013379"},{"key":"9982_CR9","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-88869-7_27","volume-title":"Algorithmic bioprocesses","author":"M Cook","year":"2009","unstructured":"Cook M, Soloveichik D, Winfree E, Bruck J (2009) Programmability of chemical reaction networks. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Springer, Berlin, pp 543\u2013584"},{"key":"9982_CR10","doi-asserted-by":"crossref","unstructured":"Courtney A (2001) Frapp\u00e9: functional reactive programming in Java. In: Proceedings of the third international symposium on practical aspects of declarative languages, PADL\u201901. Springer, Berlin, pp 29\u201344","DOI":"10.1007\/3-540-45241-9_3"},{"key":"9982_CR11","doi-asserted-by":"crossref","unstructured":"Czaplicki E, Chong S (2013) Asynchronous functional reactive programming for GUIs. In: Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI\u201913. ACM Press, Seattle, p 411","DOI":"10.1145\/2491956.2462161"},{"key":"9982_CR12","doi-asserted-by":"crossref","unstructured":"Doty D, Eftekhari M, G\u0105sieniec L, Severson E, Uzna\u0144ski P, Stachowiak G (2022) A time and space optimal stable population protocol solving exact majority. In: 2021 IEEE 62nd annual symposium on foundations of computer science (FOCS), pp 1044\u20131055","DOI":"10.1109\/FOCS52979.2021.00104"},{"key":"9982_CR13","doi-asserted-by":"crossref","unstructured":"Elliott CM (2009) Push\u2013pull functional reactive programming. In: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, Haskell\u201909. Association for Computing Machinery, New York, pp 25\u201336","DOI":"10.1145\/1596638.1596643"},{"key":"9982_CR14","doi-asserted-by":"crossref","unstructured":"Elliott C, Hudak P (1997) Functional reactive animation. In: Proceedings of the second ACM SIGPLAN international conference on Functional programming\u2014ICFP\u201997. ACM Press, Amsterdam, pp 263\u2013273","DOI":"10.1145\/258949.258973"},{"key":"9982_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2019.103983","volume":"186","author":"SJ Ellis","year":"2019","unstructured":"Ellis SJ, Klinge TH, Lathrop JI (2019) Robust chemical circuits. Biosystems 186:103983","journal-title":"Biosystems"},{"key":"9982_CR16","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780195096705.001.0001","volume-title":"An introduction to nonlinear chemical dynamics: oscillations, waves, patterns, and chaos","author":"IR Epstein","year":"1998","unstructured":"Epstein IR, Pojman JA (1998) An introduction to nonlinear chemical dynamics: oscillations, waves, patterns, and chaos. Oxford University Press, Oxford"},{"key":"9982_CR17","doi-asserted-by":"crossref","unstructured":"Fages F, Soliman S (2018) On robustness computation and optimization in BIOCHAM-4. In: Computational methods in systems biology. Springer, Cham, pp 292\u2013299","DOI":"10.1007\/978-3-319-99429-1_18"},{"key":"9982_CR18","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-67471-1_7","volume-title":"Computational methods in systems biology","author":"F Fages","year":"2017","unstructured":"Fages F, Le Guludec G, Bournez O, Pouly A (2017) Strong turing completeness of continuous chemical reaction networks and compilation of mixed analog\u2013digital programs. In: Feret J, Koeppl H (eds) Computational methods in systems biology. Springer, Cham, pp 108\u2013127"},{"key":"9982_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03858-8","volume-title":"Foundations of chemical reaction network theory","author":"M Feinberg","year":"2019","unstructured":"Feinberg M (2019) Foundations of chemical reaction network theory. Springer, Cham"},{"key":"9982_CR20","doi-asserted-by":"crossref","unstructured":"Finkbeiner B, Klein F, Piskac R, Santolucito M (2019) Synthesizing functional reactive programs. arXiv:1905.09825 [cs]","DOI":"10.1145\/3331545.3342601"},{"key":"9982_CR21","doi-asserted-by":"crossref","unstructured":"Gibbons J, Wu N (2014) Folding domain-specific languages: deep and shallow embeddings (functional pearl). In: Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP\u201914. Association for Computing Machinery, New York, pp 339\u2013347","DOI":"10.1145\/2628136.2628138"},{"key":"9982_CR22","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-030-85633-5_5","volume-title":"Computational methods in systems biology","author":"M Hemery","year":"2021","unstructured":"Hemery M, Fages F, Soliman S (2021) Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs. In: Cinquemani E, Paulev\u00e9 L (eds) Computational methods in systems biology. Springer, Cham, pp 74\u201390"},{"key":"9982_CR23","doi-asserted-by":"crossref","unstructured":"Hudak P, Courtney A, Nilsson H, Peterson J (2002) Arrows, robots, and functional reactive programming. In: Advanced functional programming","DOI":"10.1007\/978-3-540-44833-4_6"},{"issue":"1","key":"9982_CR24","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J Hughes","year":"2000","unstructured":"Hughes J (2000) Generalising monads to arrows. Sci Comput Program 37(1):67\u2013111","journal-title":"Sci Comput Program"},{"key":"9982_CR25","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-1-4471-3166-3_21","volume-title":"Functional programming","author":"J Hughes","year":"1990","unstructured":"Hughes J, O\u2019Donnell J (1990) Expressing and reasoning about non-deterministic functional programs. In: Davis K, Hughes J (eds) Functional programming. Springer, London, pp 308\u2013328"},{"key":"9982_CR26","doi-asserted-by":"crossref","unstructured":"Jeffrey A (2012) LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. In: Proceedings of the sixth workshop on Programming languages meets program verification\u2014PLPV\u201912. ACM Press, Philadelphia, p 49","DOI":"10.1145\/2103776.2103783"},{"key":"9982_CR27","unstructured":"Klinge TH, Lathrop JI (2020) Modulated signals in chemical reaction networks. CoRR, abs\/2009.06703"},{"key":"9982_CR28","doi-asserted-by":"crossref","unstructured":"Klinge TH, Lathrop JI, Lutz JH (2020a) Robust biomolecular finite automata. Theor Comput Sci 816:114\u2013143","DOI":"10.1016\/j.tcs.2020.01.008"},{"key":"9982_CR29","unstructured":"Klinge TH, Lathrop JI, Moreno S, Potter HD, Raman NK, Riley MR (2020b) ALCH: an imperative language for chemical reaction network-controlled tile assembly. In: Geary C, Patitz MJ (eds) 26th International conference on DNA computing and molecular programming (DNA 26), vol. 174 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, pp 6:1\u20136:22"},{"key":"9982_CR30","doi-asserted-by":"crossref","unstructured":"Krantz SG, Parks HR (2002) A primer of real analytic functions. Springer, Boston","DOI":"10.1007\/978-0-8176-8134-0"},{"issue":"22","key":"9982_CR31","doi-asserted-by":"publisher","first-page":"3211","DOI":"10.1093\/bioinformatics\/btr543","volume":"27","author":"MR Lakin","year":"2011","unstructured":"Lakin MR, Youssef S, Polo F, Emmott S, Phillips A (2011) Visual DSD: a design and analysis tool for DNA strand displacement systems. Bioinformatics 27(22):3211\u20133213","journal-title":"Bioinformatics"},{"key":"9982_CR32","doi-asserted-by":"crossref","unstructured":"Nilsson H (2005) Dynamic optimization for functional reactive programming using generalized algebraic data types. In: Proceedings of the tenth ACM SIGPLAN international conference on functional programming, ICFP\u201905. Association for Computing Machinery, New York, pp 54\u201365","DOI":"10.1145\/1090189.1086374"},{"key":"9982_CR33","doi-asserted-by":"crossref","unstructured":"Nilsson H, Courtney A, Peterson J (2002) Functional reactive programming, continued. In: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, Haskell\u201902. Association for Computing Machinery, New York, pp 51\u201364","DOI":"10.1145\/581690.581695"},{"issue":"OOPSLA","key":"9982_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3276498","volume":"2","author":"J Ott","year":"2018","unstructured":"Ott J, Loveless T, Curtis C, Lesani M, Brisk P (2018) BioScript: programming safe chemistry on laboratories-on-a-chip. Proc ACM Program Lang 2(OOPSLA):1\u201331","journal-title":"Proc ACM Program Lang"},{"key":"9982_CR35","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/507669.507664","volume":"36","author":"R Paterson","year":"2001","unstructured":"Paterson R (2001) A new notation for arrows. Sigplan Not SIGPLAN 36:229\u2013240","journal-title":"Sigplan Not SIGPLAN"},{"key":"9982_CR36","doi-asserted-by":"crossref","unstructured":"Pembeci I, Nilsson H, Hager G (2002) Functional reactive robotics: an exercise in principled integration of domain-specific languages. In: Proceedings of the 4th ACM SIGPLAN international conference on principles and practice of declarative programming, PPDP\u201902. Association for Computing Machinery, New York, pp 168\u2013179","DOI":"10.1145\/571157.571174"},{"issue":"1\u20134","key":"9982_CR37","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1002\/sapm1941201337","volume":"20","author":"CE Shannon","year":"1941","unstructured":"Shannon CE (1941) Mathematical theory of the differential analyzer. J Math Phys 20(1\u20134):337\u2013354","journal-title":"J Math Phys"},{"key":"9982_CR38","unstructured":"Soloveichik D (2008) Robust stochastic chemical reaction networks and bounded tau-leaping. CoRR, abs\/0803.1030"},{"key":"9982_CR39","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s11047-008-9067-y","volume":"7","author":"D Soloveichik","year":"2008","unstructured":"Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput 7:615","journal-title":"Nat Comput"},{"issue":"2","key":"9982_CR40","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s11047-019-09775-1","volume":"19","author":"M Vasi\u0107","year":"2020","unstructured":"Vasi\u0107 M, Soloveichik D, Khurshid S (2020) CRN++: molecular programming language. Nat Comput 19(2):391\u2013407","journal-title":"Nat Comput"},{"key":"9982_CR41","doi-asserted-by":"crossref","unstructured":"Wan Z, Hudak P (2000) Functional reactive programming from first principles. In: Proceedings of the ACM SIGPLAN 2000 conference on programming language design and implementation, PLDI\u201900. Association for Computing Machinery, New York, pp 242\u2013252","DOI":"10.1145\/349299.349331"},{"key":"9982_CR42","doi-asserted-by":"crossref","unstructured":"Wan Z, Taha W, Hudak P (2001) Real-time FRP. In: Proceedings of the ACM SIGPLAN international conference on functional programming, ICFP, vol 36","DOI":"10.1145\/507635.507654"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-024-09982-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11047-024-09982-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-024-09982-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T13:07:22Z","timestamp":1725109642000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11047-024-09982-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,19]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["9982"],"URL":"https:\/\/doi.org\/10.1007\/s11047-024-09982-5","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,19]]},"assertion":[{"value":"5 March 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 April 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}