Navegando por Autor Pereira, Fernando Magno Quintao
Mostrando resultados 1 a 2 de 2
Data do documento | Título | Autor(es) |
---|---|---|
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 |
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 |