Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro. A Verified Operational Semantics for Regular Expression Parsing. In Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023. pages 82-90, ACM, 2023. [doi]
Abstract is missing.