{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T07:15:56Z","timestamp":1771485356675,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T00:00:00Z","timestamp":1570406400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Research Foundation","award":["GO 2161\/1-2"],"award-info":[{"award-number":["GO 2161\/1-2"]}]},{"name":"ERDF \u00f0 European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["POCI-01-0145-FEDER-030947"],"award-info":[{"award-number":["POCI-01-0145-FEDER-030947"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,7]]},"DOI":"10.1145\/3354166.3354176","type":"proceedings-article","created":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T12:58:36Z","timestamp":1569329916000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["An Adequate While-Language for Hybrid Computation"],"prefix":"10.1145","author":[{"given":"Sergey","family":"Goncharov","sequence":"first","affiliation":[{"name":"Friedrich-Alexander Universit\u00e4t Erlangen-N\u00fcrnberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renato","family":"Neves","sequence":"additional","affiliation":[{"name":"INESC TEC (HASLab) & University of Minho, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"Abramsky Samson"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129510000496"},{"key":"e_1_3_2_1_3_1","unstructured":"Rajeev Alur. 2015. Principles of Cyber-Physical Systems. MIT Press.  Rajeev Alur. 2015. Principles of Cyber-Physical Systems. MIT Press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_30"},{"key":"e_1_3_2_1_5_1","unstructured":"Steve Awodey. 2010. Category Theory. OUP Oxford.  Steve Awodey. 2010. Category Theory. OUP Oxford."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Stephen Bloom and Zolt\u00e1n \u00c9sik. 1993. Iteration theories: the equational logic of iterative processes. Springer.  Stephen Bloom and Zolt\u00e1n \u00c9sik. 1993. Iteration theories: the equational logic of iterative processes. Springer.","DOI":"10.1007\/978-3-642-78034-9"},{"key":"e_1_3_2_1_7_1","volume-title":"6th International Workshop","author":"Broman David","year":"2012"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Venanzio Capretta. 2005. General recursion via coinductive types. Log. Meth. Comput.Sci.1 2 (2005).  Venanzio Capretta. 2005. General recursion via coinductive types. Log. Meth. Comput.Sci.1 2 (2005).","DOI":"10.2168\/LMCS-1(2:1)2005"},{"key":"e_1_3_2_1_9_1","volume-title":"ICTAC 2015 (LNCS)","volume":"9399","author":"Chapman James","year":"2015"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000232"},{"key":"e_1_3_2_1_11_1","volume-title":"Quantum physics and linguistics. A compositional, diagrammatic discourse., Chris Heunen","author":"Coumans Dion"},{"key":"e_1_3_2_1_12_1","unstructured":"Fredrik Dahlqvist and Renato Neves. 2018. Compositional semantics for new paradigms: probabilistic hybrid and beyond. arXiv preprint arXiv:1804.04145 (2018).  Fredrik Dahlqvist and Renato Neves. 2018. Compositional semantics for new paradigms: probabilistic hybrid and beyond. arXiv preprint arXiv:1804.04145 (2018)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364546"},{"key":"e_1_3_2_1_14_1","volume-title":"Logic Colloquium 1973 (Studies in Logic and the Foundations of Mathematics)","author":"Elgot Calvin"},{"key":"e_1_3_2_1_15_1","volume-title":"Mathematical Foundations of Programming Semantics, MFPS XXXII (ENTCS)","author":"Geron Bram"},{"key":"e_1_3_2_1_16_1","volume-title":"29th International Conference on Concurrency Theory (CONCUR 2018)","author":"Goncharov Sergey","year":"2018"},{"key":"e_1_3_2_1_17_1","unstructured":"Sergey Goncharov Julian Jakob and Renato Neves. 2018. A Semantics for Hybrid Iteration. CoRR abs\/1807.01053 (2018). arXiv:1807.01053 http:\/\/arxiv.org\/abs\/1807.01053  Sergey Goncharov Julian Jakob and Renato Neves. 2018. A Semantics for Hybrid Iteration. CoRR abs\/1807.01053 (2018). arXiv:1807.01053 http:\/\/arxiv.org\/abs\/1807.01053"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02508-3_11"},{"key":"e_1_3_2_1_19_1","unstructured":"Sergey Goncharov Lutz Schr\u00f6der Christoph Rauch and Julian Jakob. 2018. Unguarded Recursion on Coinductive Resumptions. Logical Methods in Computer Science 14 3 (2018).  Sergey Goncharov Lutz Schr\u00f6der Christoph Rauch and Julian Jakob. 2018. Unguarded Recursion on Coinductive Resumptions. Logical Methods in Computer Science 14 3 (2018)."},{"key":"e_1_3_2_1_20_1","volume-title":"Foundations of Software Science and Computation Structures, FoSSaCS 2017 (LNCS)","author":"Goncharov Sergey"},{"key":"e_1_3_2_1_21_1","volume-title":"11th Annual Symposium","author":"Henzinger Thomas A.","year":"1996"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.005"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.03.018"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1148961.1709591"},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. IEEE 100","author":"Kim K. D.","year":"2012"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01304852"},{"key":"e_1_3_2_1_27_1","first-page":"2003","article-title":"Modelling Environments in Call-By-Value Programming","volume":"185","author":"Levy Paul Blain","year":"2002","journal-title":"Languages. Inf. & Comp"},{"key":"e_1_3_2_1_28_1","unstructured":"Xinzhi Liu and Peter Stechlinski. 2017. Infectious Disease Modeling. Springer.  Xinzhi Liu and Peter Stechlinski. 2017. Infectious Disease Modeling. Springer."},{"key":"e_1_3_2_1_29_1","unstructured":"Saunders Mac Lane. 1971. Categories for the Working Mathematician. Springer.  Saunders Mac Lane. 1971. Categories for the Working Mathematician. Springer."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1055762.1709469"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_32_1","volume-title":"Hybrid Systems: Computation and Control","author":"Nakamura Katsunori"},{"key":"e_1_3_2_1_33_1","unstructured":"Renato Neves. 2018. Hybrid programs. Ph.D. Dissertation. Minho University.  Renato Neves. 2018. Hybrid programs. Ph.D. Dissertation. Minho University."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.05.005"},{"key":"e_1_3_2_1_35_1","unstructured":"Lawrence Perko. 2013. Differential equations and dynamical systems. Vol. 7. Springer Science & Business Media.  Lawrence Perko. 2013. Differential equations and dynamical systems. Vol. 7. Springer Science & Business Media."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"e_1_3_2_1_37_1","volume-title":"Adequacy for Algebraic Effects. In FoSSaCS '01 (LNCS)","volume":"2030","author":"Plotkin Gordon","year":"2001"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"J. Reynolds. 1998. Theories of Programming Languages. Cambridge University Press.  J. Reynolds. 1998. Theories of Programming Languages. Cambridge University Press.","DOI":"10.1017\/CBO9780511626364"},{"key":"e_1_3_2_1_39_1","volume-title":"International Colloquium on Automata, Languages, and Programming","author":"Suenaga Kohei"},{"key":"e_1_3_2_1_40_1","volume-title":"FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings","volume":"2","author":"Uustalu Tarmo","year":"2002"},{"key":"e_1_3_2_1_41_1","first-page":"315","article-title":"Generalizing Substitution","volume":"37","author":"Uustalu Tarmo","year":"2003","journal-title":"ITA"},{"key":"e_1_3_2_1_42_1","first-page":"5","article-title":"Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically","volume":"10","author":"Uustalu Tarmo","year":"1999","journal-title":"Informatica (Lithuanian Academy of Sciences)"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"G. Winskel. 1993. The Formal Semantics of Programming Languages. MIT Press Cambridge Massachusetts.  G. Winskel. 1993. The Formal Semantics of Programming Languages. MIT Press Cambridge Massachusetts.","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1966.1098336"}],"event":{"name":"PPDP '19: Principles and Practice of Programming Languages 2019","location":"Porto Portugal","acronym":"PPDP '19","sponsor":["Sony Sony Corporation"]},"container-title":["Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3354166.3354176","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3354166.3354176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:56Z","timestamp":1750203896000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3354166.3354176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,7]]},"references-count":44,"alternative-id":["10.1145\/3354166.3354176","10.1145\/3354166"],"URL":"https:\/\/doi.org\/10.1145\/3354166.3354176","relation":{},"subject":[],"published":{"date-parts":[[2019,10,7]]},"assertion":[{"value":"2019-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}