{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:34:15Z","timestamp":1767929655590,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T00:00:00Z","timestamp":1695600000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FAPEMIG","award":["APQ-01683-21"],"award-info":[{"award-number":["APQ-01683-21"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,9,25]]},"DOI":"10.1145\/3624309.3624317","type":"proceedings-article","created":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T22:06:36Z","timestamp":1698962796000},"page":"82-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Verified Operational Semantics for Regular Expression Parsing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4174-8616","authenticated-orcid":false,"given":"Elton M\u00e1ximo","family":"Cardoso","sequence":"first","affiliation":[{"name":"Prog. de P\u00f3s Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal de Ouro Preto, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1167-5332","authenticated-orcid":false,"given":"Leonardo Vieira dos Santos","family":"Reis","sequence":"additional","affiliation":[{"name":"Universidade Federal de Juiz de Fora, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0131-5154","authenticated-orcid":false,"given":"Rodrigo Geraldo","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Prog. de P\u00f3s Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal de Ouro Preto, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,11,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"au point. CoRR abs\/1010.2604","author":"Asperti Andrea","year":"2010","unstructured":"Andrea Asperti, Claudio\u00a0Sacerdoti Coen, and Enrico Tassi. 2010. Regular Expressions, au point. CoRR abs\/1010.2604 (2010). arxiv:1010.2604http:\/\/arxiv.org\/abs\/1010.2604"},{"key":"e_1_3_2_1_2_1","volume-title":"POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)","author":"Ausaf Fahad","unstructured":"Fahad Ausaf, Roy Dyckhoff, and Christian Urban. 2016. POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl). In Interactive Theorem Proving, Jasmin\u00a0Christian Blanchette and Stephan Merz (Eds.). Springer International Publishing, Cham, 69\u201386."},{"key":"e_1_3_2_1_3_1","volume-title":"Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant","author":"Chlipala Adam","unstructured":"Adam Chlipala. 2013. Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. The MIT Press."},{"key":"e_1_3_2_1_4_1","unstructured":"Russ Cox. 2009. Regular Expression Matching: the Virtual Machine Approach. (2009). https:\/\/swtch.com\/\u00a0rsc\/regexp\/regexp2.html"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Thales Delfino and Rodrigo Ribeiro. 2018. Towards certified virtual machine-based regular expression parsing \u2014 On-line repository. https:\/\/github.com\/lives-group\/regex-transformation.","DOI":"10.1145\/3264637.3264646"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03545-1_6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360000037"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03545-1_7"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932681.1863594"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964011"},{"key":"e_1_3_2_1_11_1","first-page":"618","article-title":"Greedy Regular Expression Matching. ICALP 2004 - International Colloquium on Automata","volume":"3142","author":"Frisch Alain","year":"2004","unstructured":"Alain Frisch and Luca Cardelli. 2004. Greedy Regular Expression Matching. ICALP 2004 - International Colloquium on Automata, Languages and Programming 3142 (2004), 618\u2013629.","journal-title":"Languages and Programming"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926429"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.892"},{"key":"e_1_3_2_1_14_1","unstructured":"Simon\u00a0Peyton Jones (Ed.). 2002. Haskell 98 Language and Libraries: The Revised Report. http:\/\/haskell.org\/. 277 pages. http:\/\/haskell.org\/definition\/haskell98-report.pdf"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289517"},{"key":"e_1_3_2_1_16_1","volume-title":"Programming Languages \u2014 Lecture Notes in Computer Science 9889","author":"Lopes Raul","unstructured":"Raul Lopes, Rodrigo Ribeiro, and Carlos Camar\u00e3o. 2016. Certified Derivative-Based Parsing of Regular Expressions. In Programming Languages \u2014 Lecture Notes in Computer Science 9889. Springer, 95\u2013109."},{"key":"e_1_3_2_1_17_1","unstructured":"Raul Felipe\u00a0Pimenta Lopes. 2018. Certified Derivative-based Parsing of Regular Expressions \u2014 Master Thesis. (2018)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408683"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.11.006"},{"key":"e_1_3_2_1_20_1","volume-title":"Bit-coded Regular Expression Parsing","author":"Nielsen Lasse","unstructured":"Lasse Nielsen and Fritz Henglein. 2011. Bit-coded Regular Expression Parsing. In Language and Automata Theory and Applications, Adrian-Horia Dediu, Shunsuke Inenaga, and Carlos Mart\u00edn-Vide (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 402\u2013413."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.62.3"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3125374.3125381"},{"key":"e_1_3_2_1_23_1","volume-title":"POSIX Regular Expression Parsing with Derivatives","author":"Sulzmann Martin","unstructured":"Martin Sulzmann and Kenny Zhuo\u00a0Ming Lu. 2014. POSIX Regular Expression Parsing with Derivatives. In Functional and Logic Programming, Michael Codish and Eijiro Sumii (Eds.). Springer International Publishing, Cham, 203\u2013220."}],"event":{"name":"SBLP 2023: XXVII Brazilian Symposium on Programming Languages","location":"Campo Grande, MS Brazil","acronym":"SBLP 2023"},"container-title":["Proceedings of the XXVII Brazilian Symposium on Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624309.3624317","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3624309.3624317","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:45Z","timestamp":1750268985000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3624309.3624317"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,25]]},"references-count":23,"alternative-id":["10.1145\/3624309.3624317","10.1145\/3624309"],"URL":"https:\/\/doi.org\/10.1145\/3624309.3624317","relation":{},"subject":[],"published":{"date-parts":[[2023,9,25]]},"assertion":[{"value":"2023-11-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}