{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T00:19:25Z","timestamp":1756253965291,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T00:00:00Z","timestamp":1693267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,29]]},"DOI":"10.1145\/3652561.3652574","type":"proceedings-article","created":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T18:19:52Z","timestamp":1718821192000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic TopHat: Start and Stop Tasks at Runtime"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8436-2054","authenticated-orcid":false,"given":"Tim","family":"Steenvoorden","sequence":"first","affiliation":[{"name":"Open Universiteit, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3442-1543","authenticated-orcid":false,"given":"Nico","family":"Naus","sequence":"additional","affiliation":[{"name":"Open Universiteit, Netherlands and Virginia Tech, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,6,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[1] Heinrich Apfelmus. 2019. reactive-banana. https:\/\/hackage.haskell.org\/package\/reactive-banana. Accessed 13-Febuary-2019."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_3_1","volume-title":"Multitier Web Orchestration. CoRR abs\/1312.0078","author":"Berry G\u00e9rard","year":"2013","unstructured":"G\u00e9rard Berry and Manuel Serrano. 2013. Hop and HipHop : Multitier Web Orchestration. CoRR abs\/1312.0078 (2013). arxiv:1312.0078http:\/\/arxiv.org\/abs\/1312.0078"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04483-5_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808445"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings eight USENIX Symposium on Operating Systems Design and Implementation. USENIX Association, 209\u2013224","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson\u00a0R. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings eight USENIX Symposium on Operating Systems Design and Implementation. USENIX Association, 209\u2013224."},{"key":"e_1_3_2_1_7_1","unstructured":"Gregory Cooper and Shriram Krishnamurthi. 2004. FrTime: Functional Reactive Programming in PLT Scheme. Technical Report CS-03-20. Department of Computer Science Brown University Rhode Island."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.04.008"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314618"},{"volume-title":"Proceedings of TAPAS 17","author":"Hallahan T.","key":"e_1_3_2_1_11_1","unstructured":"William\u00a0T. Hallahan, Anton Xue, and Ruzica Piskac.2017. Building a Symbolic Execution Engine for Haskell. In Proceedings of TAPAS 17."},{"volume-title":"Communicating Sequential Processes","author":"Hoare R.","key":"e_1_3_2_1_12_1","unstructured":"C.\u00a0A.\u00a0R. Hoare. 1985. Communicating Sequential Processes. Prentice-Hall."},{"volume-title":"The unified software development process - the complete guide to the unified process from the original designers","author":"Jacobson Ivar","key":"e_1_3_2_1_13_1","unstructured":"Ivar Jacobson, Grady Booch, and James\u00a0E. Rumbaugh. 1999. The unified software development process - the complete guide to the unified process from the original designers. Addison-Wesley."},{"key":"e_1_3_2_1_14_1","volume-title":"TRACER: A Symbolic Execution Tool for Verification. In Computer Aided Verification, CAV\u201912, P.\u00a0Madhusudan and Sanjit\u00a0A","author":"Jaffar Joxan","year":"2012","unstructured":"Joxan Jaffar, Vijayaraghavan Murali, Jorge\u00a0A. Navas, and Andrew\u00a0E. Santosa. 2012. TRACER: A Symbolic Execution Tool for Verification. In Computer Aided Verification, CAV\u201912, P.\u00a0Madhusudan and Sanjit\u00a0A. Seshia (Eds.). Springer-Verlag, 758\u2013766."},{"key":"e_1_3_2_1_15_1","volume-title":"7th Proceedings of the International Conference on Information Systems for Crisis Response and Management","author":"Jansen Jan\u00a0Martin","year":"2010","unstructured":"Jan\u00a0Martin Jansen, Bas Lijnse, and Rinus Plasmeijer. 2010. Towards dynamic workflow support for crisis management. In 7th Proceedings of the International Conference on Information Systems for Crisis Response and Management, Seattle, WA, USA, May, 2010, Simon French, Brian\u00a0M. Tomaszewski, and Christopher\u00a0W. Zobel (Eds.). ISCRAM, Seattle, USA. http:\/\/idl.iscram.org\/files\/jansen\/2010\/619_Jansen_etal2010.pdf"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808444"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-21314-4_6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183902"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24452-0_12"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.08.005"},{"key":"e_1_3_2_1_21_1","volume-title":"8th Proceedings of the International Conference on Information Systems for Crisis Response and Management","author":"Lijnse Bas","year":"2011","unstructured":"Bas Lijnse, Jan\u00a0Martin Jansen, Ruud Nanne, and Rinus Plasmeijer. 2011. Capturing the Netherlands Coast Guard\u2019s SAR workflow with iTasks. In 8th Proceedings of the International Conference on Information Systems for Crisis Response and Management, Lisbon, Portugal, May, 2011, Maria\u00a0A. Santos, Lu\u00edsa Sousa, and Eliane Portela (Eds.). LNEC, Lisbon, Portugal. http:\/\/idl.iscram.org\/files\/lijnse\/2011\/702_Lijnse_etal2011.pdf"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","unstructured":"Mart Lubbers Pieter Koopman and Rinus Plasmeijer. 2019. Interpreting task oriented programs on tiny computers See Stutterheim and Chin [42] 4:1\u20134:12. https:\/\/doi.org\/10.1145\/3412932.3412936","DOI":"10.1145\/3412932.3412936"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2019.8756711"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3310232.3310239"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640091"},{"volume-title":"Communication and concurrency","author":"Milner Robin","key":"e_1_3_2_1_26_1","unstructured":"Robin Milner. 1989. Communication and concurrency. Prentice Hall."},{"volume-title":"Communicating and mobile systems - the Pi-calculus","author":"Milner Robin","key":"e_1_3_2_1_27_1","unstructured":"Robin Milner. 1999. Communicating and mobile systems - the Pi-calculus. Cambridge University Press."},{"key":"e_1_3_2_1_28_1","unstructured":"Nico Naus. 2020. Assisting end users in workflow systems. Ph.\u00a0D. Dissertation."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-57761-2_3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","unstructured":"Nico Naus Tim Steenvoorden and Markus Klinik. 2019. A symbolic execution semantics for TopHat See Stutterheim and Chin [42] 1:1\u20131:11. https:\/\/doi.org\/10.1145\/3412932.3412933","DOI":"10.1145\/3412932.3412933"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-38828-6_2"},{"key":"e_1_3_2_1_32_1","unstructured":"[32] OASIS. 2019. Web Services Business Process Execution Language. https:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel. [Accessed 12-Febuary-2019]."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205368.3205375"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291174"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929501.1929528"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370801"},{"key":"e_1_3_2_1_37_1","unstructured":"Rinus Plasmeijer Marko van Eekelen and John van Groningen. 2002. Clean language report version 2.1. Technical Report. Radboud University Nijmegen the Netherlands."},{"key":"e_1_3_2_1_38_1","unstructured":"top Software Systems. 2022. Vessel Information Integrating Application. https:\/\/top-software.nl\/VIIA.html."},{"volume-title":"TopHat: Task-oriented programming with style. Ph.\u00a0D. Dissertation","author":"Steenvoorden Tim","key":"e_1_3_2_1_39_1","unstructured":"Tim Steenvoorden. 2022. TopHat: Task-oriented programming with style. Ph.\u00a0D. Dissertation. Radboud University, Nijmegen, the Netherlands."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3354166.3354182"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28346-9_9"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412932"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14675-1_8"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"}],"event":{"name":"IFL 2023: The 35th Symposium on Implementation and Application of Functional Languages","acronym":"IFL 2023","location":"Braga Portugal"},"container-title":["The 35th Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652561.3652574","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652561.3652574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T19:10:49Z","timestamp":1756235449000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652561.3652574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,29]]},"references-count":46,"alternative-id":["10.1145\/3652561.3652574","10.1145\/3652561"],"URL":"https:\/\/doi.org\/10.1145\/3652561.3652574","relation":{},"subject":[],"published":{"date-parts":[[2023,8,29]]},"assertion":[{"value":"2024-06-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}