{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:22:10Z","timestamp":1765617730734,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","funder":[{"name":"FCT\/MCTES \u2013 Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia, I.P. (Portuguese Foundation for Science and Technology)","award":["10.54499\/PTDC\/CCI-COM\/4280\/2021, UIDP\/UIDB\/04234\/2020, and LASI (LA\/P\/0104\/2020)"],"award-info":[{"award-number":["10.54499\/PTDC\/CCI-COM\/4280\/2021, UIDP\/UIDB\/04234\/2020, and LASI (LA\/P\/0104\/2020)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,10]]},"DOI":"10.1145\/3756907.3756927","type":"proceedings-article","created":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:19:11Z","timestamp":1765617551000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An adequate while-language for stochastic hybrid computation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8787-2551","authenticated-orcid":false,"given":"Renato","family":"Neves","sequence":"first","affiliation":[{"name":"University of Minho & INESC-TEC, Braga, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0971-8919","authenticated-orcid":false,"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"additional","affiliation":[{"name":"University of Porto & CISTER, Porto, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7900-6533","authenticated-orcid":false,"given":"Juliana","family":"Souza","sequence":"additional","affiliation":[{"name":"INESC-TEC, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2025,12,13]]},"reference":[{"key":"e_1_3_3_2_2_2","volume-title":"Abstract and Concrete Categories - The Joy of Cats","author":"Ad\u00e1mek Ji\u0159\u00ed","year":"2009","unstructured":"Ji\u0159\u00ed Ad\u00e1mek, Horst Herrlich, and George\u00a0E. Strecker. 2009. Abstract and Concrete Categories - The Joy of Cats. Dover Publications."},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-29587-9"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Engineer Bainomugisha Andoni\u00a0Lombide Carreton Tom\u00a0Van Cutsem Stijn Mostinckx and Wolfgang\u00a0De Meuter. 2013. A survey on reactive programming. ACM Comput. Surv. 45 4 (2013) 52:1\u201352:34. 10.1145\/2501654.2501666","DOI":"10.1145\/2501654.2501666"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1017\/9781108770750"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386009"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_14"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","unstructured":"Fredrik Dahlqvist and Dexter Kozen. 2020. Semantics of higher-order probabilistic programs with conditioning. Proc. ACM Program. Lang. 4 POPL (2020) 57:1\u201357:29. 10.1145\/3371125","DOI":"10.1145\/3371125"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.46298\/ENTICS.12299"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","unstructured":"Fredrik Dahlqvist and Renato Neves. 2023. The syntactic side of autonomous categories enriched over generalised metric spaces. Log. Methods Comput. Sci. 19 4 (2023). 10.46298\/LMCS-19(4:31)2023","DOI":"10.46298\/LMCS-19(4:31)2023"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8643-8"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511755347"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Albert Einstein. 1905. \u00dcber die von der molekularkinetischen Theorie der W\u00e4rme geforderte Bewegung von in ruhenden Fl\u00fcssigkeiten suspendierten Teilchen. Annalen der physik 4 (1905).","DOI":"10.1002\/andp.19053220806"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-67678-9"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0092872"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64276-1_14"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.33"},{"key":"e_1_3_3_2_18_2","series-title":"New Mathematical Monographs","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139524438","volume-title":"Non-Hausdorff Topology and Domain Theory - Selected Topics in Point-Set Topology","author":"Goubault-Larrecq Jean","year":"2013","unstructured":"Jean Goubault-Larrecq. 2013. Non-Hausdorff Topology and Domain Theory - Selected Topics in Point-Set Topology. New Mathematical Monographs, Vol.\u00a022. Cambridge University Press."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005137"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935319"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107517288","volume-title":"Monoidal Topology: A Categorical Approach to Order, Metric, and Topology","author":"Hofmann Dirk","year":"2014","unstructured":"Dirk Hofmann, Gavin\u00a0J Seal, and Walter Tholen. 2014. Monoidal Topology: A Categorical Approach to Order, Metric, and Topology. Vol.\u00a0153. Cambridge University Press."},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Peter H\u00f6fner. 2009. Algebraic calculi for hybrid systems. Ph.\u00a0D. Dissertation. University of Augsburg.","DOI":"10.1016\/j.jlap.2008.08.005"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","unstructured":"Peter H\u00f6fner and Bernhard M\u00f6ller. 2011. Fixing Zeno gaps. Theor. Comput. Sci. 412 28 (2011) 3303\u20133322. 10.1016\/J.TCS.2011.03.018","DOI":"10.1016\/J.TCS.2011.03.018"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","unstructured":"G.\u00a0A. Kavvos. 2025. Adequacy for Algebraic Effects Revisited. Proc. ACM Program. Lang. 9 OOPSLA1 (2025) 927\u2013955. 10.1145\/3720457","DOI":"10.1145\/3720457"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199234868.003.0003"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","unstructured":"Dexter Kozen. 1981. Semantics of Probabilistic Programs. J. Comput. Syst. Sci. 22 3 (1981) 328\u2013350. 10.1016\/0022-0000(81)90036-2","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","unstructured":"Wonyeol Lee Hangyeol Yu Xavier Rival and Hongseok Yang. 2020. Towards verified stochastic variational inference for probabilistic programs. Proc. ACM Program. Lang. 4 POPL (2020) 16:1\u201316:33. 10.1145\/3371084","DOI":"10.1145\/3371084"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","unstructured":"Paul\u00a0Blain Levy. 2022. Call-by-push-value. ACM SIGLOG News 9 2 (2022) 7\u201329. 10.1145\/3537668.3537670","DOI":"10.1145\/3537668.3537670"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.411.2"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39155"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","unstructured":"Eugenio Moggi. 1991. Notions of Computation and Monads. Inf. Comput. 93 1 (1991) 55\u201392. 10.1016\/0890-5401(91)90052-4","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.5555\/AAI28784180"},{"key":"e_1_3_3_2_34_2","unstructured":"Renato Neves Jos\u00e9 Proen\u00e7a and Juliana Souza. 2025. An Adequate While-Language for Stochastic Hybrid Computation. arxiv:https:\/\/arXiv.org\/abs\/2507.15913\u00a0[cs.LO] https:\/\/arxiv.org\/abs\/2507.15913"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80602-4"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1142\/p595"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2003.1241680"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25942-0_6"},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22438-6_34"},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626364"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","unstructured":"Tetsuya Sato. 2018. The Giry monad is not strong for the canonical symmetric monoidal closed structure on Meas. Journal of Pure and Applied Algebra 222 10 (2018) 2888\u20132896. 10.1016\/j.jpaa.2017.11.004","DOI":"10.1016\/j.jpaa.2017.11.004"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3054.001.0001"},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47016-0"}],"event":{"name":"PPDP '25: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming","location":"Rende Italy","acronym":"PPDP '25"},"container-title":["Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3756907.3756927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:19:18Z","timestamp":1765617558000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3756907.3756927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,10]]},"references-count":43,"alternative-id":["10.1145\/3756907.3756927","10.1145\/3756907"],"URL":"https:\/\/doi.org\/10.1145\/3756907.3756927","relation":{},"subject":[],"published":{"date-parts":[[2025,9,10]]},"assertion":[{"value":"2025-12-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}