The design of a verified derivative-based parsing tool for regular expressions.
dc.contributor.author | Cardoso, Elton Máximo | |
dc.contributor.author | Amaro, Maycon José Jorge | |
dc.contributor.author | Feitosa, Samuel da Silva | |
dc.contributor.author | Reis, Leonardo Vieira dos Santos | |
dc.contributor.author | Bois, André Rauber Du | |
dc.contributor.author | Ribeiro, Rodrigo Geraldo | |
dc.date.accessioned | 2022-12-06T20:40:48Z | |
dc.date.available | 2022-12-06T20:40:48Z | |
dc.date.issued | 2021 | pt_BR |
dc.description.abstract | We describe the formalization of Brzozowski and Antimirov derivative based algorithms for regular expression parsing, in the dependently typed language Agda. The formalization produces a proof that either an input string matches a given regular expression or that no matching exists. A tool for regular expression based search in the style of the well known GNU grep has been developed with the certified algorithms. Practical experiments conducted with this tool are reported. | pt_BR |
dc.identifier.citation | CARDOSO, E. M. et al. The design of a verified derivative-based parsing tool for regular expressions. CLEI Eletronic Journal, v. 24, n. 3, 2021. Disponível em: <http://www.clei.org/cleiej/index.php/cleiej/article/view/521/417>. Acesso em: 06 jul. 2022. | pt_BR |
dc.identifier.issn | 0717-5000 | |
dc.identifier.uri | http://www.repositorio.ufop.br/jspui/handle/123456789/15838 | |
dc.language.iso | en_US | pt_BR |
dc.rights | aberto | pt_BR |
dc.rights.license | This work is licensed under a Creative Commons Attribution 4.0 International License. Fonte: Clei Eletronic Journal. <http://www.clei.org/cleiej/index.php/cleiej/article/view/521>. Acesso em: 28 set. 2022. | pt_BR |
dc.subject | Certified algorithms | pt_BR |
dc.subject | Dependent types | pt_BR |
dc.title | The design of a verified derivative-based parsing tool for regular expressions. | pt_BR |
dc.type | Artigo publicado em periodico | pt_BR |
Arquivos
Pacote Original
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- ARTIGO_DesingnVerifiedBased.pdf
- Tamanho:
- 318.29 KB
- Formato:
- Adobe Portable Document Format
- Descrição:
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
- Descrição: