Navegando por Autor Ribeiro, Rodrigo Geraldo
Mostrando resultados 5 a 22 de 22
< Anterior
Data do documento | Título | Autor(es) |
---|---|---|
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 |
2018 | Formal semantics for java-like languages and research opportunities. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
2023 | Uma formalização da lógica modal usando o assistente de provas Coq. | Silveira, Ariel Agne da |
2019 | Generating random well-typed Featherweight Java Programs using quickcheck. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
2018 | Inference of static semantics for incomplete C programs. | Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Araújo, Marcos Roberto de; Pereira, Fernando Magno Quintao |
2022 | MASLAB : um software interativo de simulação para apoio no ensino de modelagem e análise de sistemas lineares. | Aguiar, Italo Almeida |
2013 | Mechanized metatheory for a λ-calculus with trust types. | Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de |
2020 | A mechanized proof of a textbook type unification algorithm. | Amaro, Maycon José Jorge; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
2022 | Modelos evolutivos para composição algorítmica afetiva. | Santos, Carla Sanches Nere dos |
2021 | Realidade aumentada aplicada à redução de riscos na segurança do trabalho em subestações elétricas. | Rocha, Victor Menezes |
2013 | Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. | Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de |
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 |
2020 | Towards an extrinsic formalization of featherweight Java in Agda. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
2020 | Type inference for C : applications to the static analysis of incomplete programs. | Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Guimarães, Breno Campos Ferreira; Pereira, Fernando Magno Quintao |
2020 | A type-directed algorithm to generate random well-typed Java 8 programs. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
2010 | Utilização de sinais acústicos para detecção de trincas em dormentes de aço. | Yared, Glauco Ferreira Gazel; Barbosa, Carlos Henrique Nogueira de Resende; Ribeiro, Rodrigo Geraldo; Ribeiro, Marcos Henrique; Thebaldi, Rafael Santos; Nascimento, Leandro Prates do; Oliveira, Paganini Barcellos; Vincic, Jasmina; Silveira, Ingrid Machado; Ferreira, Tiago; Vasconcelos, Renato Lataliza |