Use este identificador para citar ou linkar para este item:
http://www.repositorio.ufop.br/jspui/handle/123456789/15838
Título: | The design of a verified derivative-based parsing tool for regular expressions. |
Autor(es): | Cardoso, Elton Máximo Amaro, Maycon José Jorge Feitosa, Samuel da Silva Reis, Leonardo Vieira dos Santos Bois, André Rauber Du Ribeiro, Rodrigo Geraldo |
Palavras-chave: | Certified algorithms Dependent types |
Data do documento: | 2021 |
Referência: | 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. |
Resumo: | 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. |
URI: | http://www.repositorio.ufop.br/jspui/handle/123456789/15838 |
ISSN: | 0717-5000 |
Licença: | 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. |
Aparece nas coleções: | DECOM - Artigos publicados em periódicos |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
ARTIGO_DesingnVerifiedBased.pdf | 318,29 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.