Browsing by Author Ribeiro, Rodrigo Geraldo

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 8 of 8
Issue DateTitleAuthor(s)
2016Ambiguity and constrained polymorphism.Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de; Ribeiro, Rodrigo Geraldo
2013Ambiguity and context-dependent overloading.Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de
2018Certified derivative-based parsing of regular expressions.Lopes, Raul Felipe Pimenta
2018Formal semantics for java-like languages and research opportunities.Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du
2018Inference of static semantics for incomplete C programs.Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Araújo, Marcos Roberto de; Pereira, Fernando Magno Quintao
2013Mechanized metatheory for a λ-calculus with trust types.Ribeiro, Rodrigo Geraldo; Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão de
2013Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.Ribeiro, Rodrigo Geraldo; Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão de
2010Utilizaçã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