{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T20:41:07Z","timestamp":1751056867479,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T00:00:00Z","timestamp":1729123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"name":"EFRO","award":["KVW00309"],"award-info":[{"award-number":["KVW00309"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,17]]},"DOI":"10.1145\/3687997.3695635","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T10:57:44Z","timestamp":1729162664000},"page":"2-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Cooperative Specification via Composition Control"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9124-9092","authenticated-orcid":false,"given":"Christopher A.","family":"Esterhuyse","sequence":"first","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8113-2221","authenticated-orcid":false,"given":"L. Thomas","family":"van Binsbergen","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2011.191"},{"volume-title":"Trends in Functional Programming","author":"Arvidsson Andreas","key":"e_1_3_2_1_2_1","unstructured":"Andreas Arvidsson, Moa Johansson, and Robin Touche. 2019. Proving Type Class Laws for Haskell. In Trends in Functional Programming, David Van Horn and John Hughes (Eds.). Springer International Publishing, Cham. 61\u201374."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/S12243-008-0068-8"},{"key":"e_1_3_2_1_5_1","volume-title":"Daml: A smart contract language for securely automating real-world multi-party business workflows. arXiv preprint arXiv:2303.03749.","author":"Bernauer Alexander","year":"2023","unstructured":"Alexander Bernauer, Sofia Faro, R\u00e9my H\u00e4mmerle, Martin Huschenbett, Moritz Kiefer, Andreas Lochbihler, Jussi M\u00e4ki, Francesco Mazzoli, Simon Meier, and Neil Mitchell. 2023. Daml: A smart contract language for securely automating real-world multi-party business workflows. arXiv preprint arXiv:2303.03749."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80757-1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-62645-6_4"},{"key":"e_1_3_2_1_11_1","unstructured":"European Commission. 2016. Regulation (EU) 2016\/679 of the European Parliament and of the Council of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data and repealing Directive 95\/46\/EC (General Data Protection Regulation) (Text with EEA relevance). https:\/\/eur-lex.europa.eu\/eli\/reg\/2016\/679\/oj"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/S10766-013-0264-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-018-9223-3"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006","volume":"2","author":"He Yujing","year":"2006","unstructured":"Yujing He. 2006. Comparison of the Modeling Languages Alloy and UML. In Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2, Hamid R. Arabnia and Hassan Reza (Eds.). CSREA Press, 671\u2013677."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.33"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44880-2_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338843"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430532.2364514"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-93975-5_8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61033-7_6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000073"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3191315.3191317"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00207-6_2"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5591\/978-1-57735-516-8"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005228101570164"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","unstructured":"B. Otto S. Steinbuss A. Teuscher and S Lohmann. 2019. IDS Reference Architecture Model \u2013 version 3.0. https:\/\/doi.org\/10.5281\/zenodo.5105529 10.5281\/zenodo.5105529","DOI":"10.5281\/zenodo.5105529"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-93975-5"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-111-3-442"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151030.1151053"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45215-7_2"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE48521.2020.00049"},{"key":"e_1_3_2_1_33_1","volume-title":"ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages","author":"Somogyi Zoltan","year":"1994","unstructured":"Zoltan Somogyi, Fergus Henderson, and Thomas C. Conway. 1994. The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. In ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages, Ithaca, New York, USA, November 17, 1994, Koenraad De Bosschere, Bart Demoen, and Paul Tarau (Eds.). ftp:\/\/ftp.elis.rug.ac.be\/pub\/prolog\/ilps94_workshop\/somogyi.ps.Z"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5210\/fm.v2i9.548"},{"key":"e_1_3_2_1_35_1","volume-title":"On the calculus of relations. The journal of symbolic logic, 6, 3","author":"Tarski Alfred","year":"1941","unstructured":"Alfred Tarski. 1941. On the calculus of relations. The journal of symbolic logic, 6, 3 (1941), 73\u201389."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.PROCS.2021.12.221"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426958"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","unstructured":"L. Thomas van Binsbergen Merrick Oost-Rosengren Hayo Schreijer Freek Dijkstra and Taco van Dijk. 2024. AMdEX Reference Architecture \u2013 version. https:\/\/doi.org\/10.5281\/zenodo.10565915 10.5281\/zenodo.10565915","DOI":"10.5281\/zenodo.10565915"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08848-3"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-436-7-421"},{"volume-title":"OWL 2 Web Ontology Language Document Overview","author":"W3C OWL Working Group","key":"e_1_3_2_1_41_1","unstructured":"W3C OWL Working Group. 2012. OWL 2 Web Ontology Language Document Overview (Second Edition)."}],"event":{"name":"SLE '24: 17th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN SIGPLAN"],"location":"Pasadena CA USA","acronym":"SLE '24"},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3687997.3695635","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3687997.3695635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:58Z","timestamp":1750295398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3687997.3695635"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,17]]},"references-count":41,"alternative-id":["10.1145\/3687997.3695635","10.1145\/3687997"],"URL":"https:\/\/doi.org\/10.1145\/3687997.3695635","relation":{},"subject":[],"published":{"date-parts":[[2024,10,17]]},"assertion":[{"value":"2024-10-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}