{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T04:04:19Z","timestamp":1763179459000,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T00:00:00Z","timestamp":1669680000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,29]]},"DOI":"10.1145\/3567512.3567516","type":"proceedings-article","created":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T21:22:55Z","timestamp":1669929775000},"page":"36-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The Semantics of Plurals"],"prefix":"10.1145","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[{"name":"Fernuniversit\u00e4t in Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Freitag","sequence":"additional","affiliation":[{"name":"Fernuniversit\u00e4t in Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Strecker","author":"Ad\u00e1mek Jir\u00ed","year":"2009","unstructured":"Jir\u00ed Ad\u00e1mek , Horst Herrlich , and George E . Strecker . 2009 . Abstract and Concrete Categories - The Joy of Cats. Dover Publications . isbn:978-0-486-46934-8 Jir\u00ed Ad\u00e1mek, Horst Herrlich, and George E. Strecker. 2009. Abstract and Concrete Categories - The Joy of Cats. Dover Publications. isbn:978-0-486-46934-8"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721675"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6510-2_8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30982-3_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/320434.320440"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/3540069585_46"},{"volume-title":"An Efficient Context-Free Parsing Algorithm","author":"Earley Jay","key":"e_1_3_2_1_8_1","unstructured":"Jay Earley . 1968. An Efficient Context-Free Parsing Algorithm . Carnegy-Mellon University . http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/anon\/usr\/ftp\/scan\/CMU-CS-68-earley.pdf Jay Earley. 1968. An Efficient Context-Free Parsing Algorithm. Carnegy-Mellon University. http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/anon\/usr\/ftp\/scan\/CMU-CS-68-earley.pdf"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/309844.310075"},{"key":"e_1_3_2_1_10_1","unstructured":"Marius Freitag. 2022. A Set Semantics for Hehner\u2019s Bunch Theory. Lehrgebiet Programmiersysteme Fernuniversit\u00e4t in Hagen. \t\t\t\t  Marius Freitag. 2022. A Set Semantics for Hehner\u2019s Bunch Theory. Lehrgebiet Programmiersysteme Fernuniversit\u00e4t in Hagen."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1_22"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68954-8"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21640-4_12"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_14"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90071-5"},{"volume-title":"The logic of programming","author":"Hehner Eric C. R.","key":"e_1_3_2_1_16_1","unstructured":"Eric C. R. Hehner . 1985. The logic of programming . Prentice Hall . isbn:978-0-13-539966-8 Eric C. R. Hehner. 1985. The logic of programming. Prentice Hall. isbn:978-0-13-539966-8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8596-5"},{"volume-title":"Nondeterminism in algebraic specifications and algebraic programs","author":"Hu\u00dfmann Heinrich","key":"e_1_3_2_1_18_1","unstructured":"Heinrich Hu\u00dfmann . 1993. Nondeterminism in algebraic specifications and algebraic programs . Birkh\u00e4user , Boston\/Basel\/ Berlin . http:\/\/nbn-resolving.de\/urn\/resolver.pl?urn=nbn:de:bvb:19-epub-4258-3 Heinrich Hu\u00dfmann. 1993. Nondeterminism in algebraic specifications and algebraic programs. Birkh\u00e4user, Boston\/Basel\/Berlin. http:\/\/nbn-resolving.de\/urn\/resolver.pl?urn=nbn:de:bvb:19-epub-4258-3"},{"volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"Jackson Daniel","key":"e_1_3_2_1_19_1","unstructured":"Daniel Jackson . 2006. Software Abstractions - Logic, Language, and Analysis . MIT Press . isbn:978-0-262-10114-1 Daniel Jackson. 2006. Software Abstractions - Logic, Language, and Analysis. MIT Press. isbn:978-0-262-10114-1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502891"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/359842.359853"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8"},{"volume-title":"The Functional Treatment of Parsing","author":"Leermakers Ren\u00e9","key":"e_1_3_2_1_23_1","unstructured":"Ren\u00e9 Leermakers . 1993. The Functional Treatment of Parsing ( The Kluwer International Series in Engineering and Computer Science, Vol. 242). Kluwer Academic Publishers. isbn:0-7923-9376- 7 lccn:93022799 Ren\u00e9 Leermakers. 1993. The Functional Treatment of Parsing (The Kluwer International Series in Engineering and Computer Science, Vol. 242). Kluwer Academic Publishers. isbn:0-7923-9376-7 lccn:93022799"},{"key":"e_1_3_2_1_24_1","unstructured":"Bruce J. MacLennan. 1983. Relational programming. https:\/\/calhoun.nps.edu\/handle\/10945\/29066 \t\t\t\t  Bruce J. MacLennan. 1983. Relational programming. https:\/\/calhoun.nps.edu\/handle\/10945\/29066"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460690.1460715"},{"key":"e_1_3_2_1_26_1","volume-title":"Mathematics and computer science : proceedings of the CWI symposium","author":"Meertens Lambert","year":"1983","unstructured":"Lambert Meertens . 1986. Algorithmics : towards programming as a mathematical activity . In Mathematics and computer science : proceedings of the CWI symposium , November 1983 . North-Holland Publishing Co. (Amsterdam) , 289\u2013334. Lambert Meertens. 1986. Algorithmics : towards programming as a mathematical activity. In Mathematics and computer science : proceedings of the CWI symposium, November 1983. North-Holland Publishing Co. (Amsterdam), 289\u2013334."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970906"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319350"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00013316"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1989.39185"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/b978-0-444-88074-1.50016-0"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56625-2_18"},{"volume-title":"Unified Modeling Language 2.4.1","author":"OMG (Object Management Group","key":"e_1_3_2_1_33_1","unstructured":"OMG (Object Management Group ). 2011. Unified Modeling Language 2.4.1 . OMG (Object Management Group) . http:\/\/www.omg.org\/spec\/UML\/2.4.1\/ OMG (Object Management Group). 2011. Unified Modeling Language 2.4.1. OMG (Object Management Group). http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"volume-title":"Object Constraint Language 2.4","author":"OMG (Object Management Group","key":"e_1_3_2_1_34_1","unstructured":"OMG (Object Management Group ). 2012. Object Constraint Language 2.4 . OMG (Object Management Group) . http:\/\/www.omg.org\/spec\/OCL\/ OMG (Object Management Group). 2012. Object Constraint Language 2.4. OMG (Object Management Group). http:\/\/www.omg.org\/spec\/OCL\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48119-2_30"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66917-5_3"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09987-5"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/35.5.514"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018743.3018773"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509582"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2015.294"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527635"},{"key":"e_1_3_2_1_43_1","volume-title":"Bunch theory, applications, axioms and models. CoRR, abs\/1911.04344","author":"Stoddart Bill","year":"2019","unstructured":"Bill Stoddart , Frank Zeyda , and Steve Dunne . 2019. Bunch theory, applications, axioms and models. CoRR, abs\/1911.04344 ( 2019 ), arXiv:1911.04344. arxiv:1911.04344 Bill Stoddart, Frank Zeyda, and Steve Dunne. 2019. Bunch theory, applications, axioms and models. CoRR, abs\/1911.04344 (2019), arXiv:1911.04344. arxiv:1911.04344"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3471874.3472982"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/359863.359883"}],"event":{"name":"SLE '22: 15th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Auckland New Zealand","acronym":"SLE '22"},"container-title":["Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567512.3567516","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3567512.3567516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:47Z","timestamp":1750286627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567512.3567516"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,29]]},"references-count":46,"alternative-id":["10.1145\/3567512.3567516","10.1145\/3567512"],"URL":"https:\/\/doi.org\/10.1145\/3567512.3567516","relation":{},"subject":[],"published":{"date-parts":[[2022,11,29]]},"assertion":[{"value":"2022-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}