Navegando por Autor Reis, Leonardo Vieira dos Santos
Mostrando resultados 1 a 8 de 8
| Data do documento | Título | Autor(es) |
| 2015 | An on-the-fly grammar modification mechanism for composing and defining extensible languages. | Reis, Leonardo Vieira dos Santos; Iorio, Vladimir Oliveira Di; Bigonha, Roberto da Silva |
| 2018 | Certified derivative-based parsing of regular expressions. | Lopes, Raul Felipe Pimenta |
| 2019 | Certified virtual machine-based regular expression parsing. | Delfino, Thales Antônio |
| 2023 | Compiling general recursive functions into finite depth pattern matching. | Amaro, Maycon José Jorge |
| 2023 | Uma formalização da lógica modal usando o assistente de provas Coq. | Silveira, Ariel Agne da |
| 2022 | MASLAB : um software interativo de simulação para apoio no ensino de modelagem e análise de sistemas lineares. | Aguiar, Italo Almeida |
| 2021 | The design of a verified derivative-based parsing tool for regular expressions. | Cardoso, Elton Máximo; Amaro, Maycon José Jorge; Feitosa, Samuel da Silva; Reis, Leonardo Vieira dos Santos; Bois, André Rauber Du; Ribeiro, Rodrigo Geraldo |
| 2014 | The formalization and implementation of Adaptable Parsing Expression Grammars. | Reis, Leonardo Vieira dos Santos; Bigonha, Roberto da Silva; Iorio, Vladimir Oliveira Di; Amorim, Luis Eduardo de Souza |
