Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Autor Pereira, Fernando Magno Quintao

Mostrando resultados 1 a 2 de 2

Inference of static semantics for incomplete C programs.
Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Araújo, Marcos Roberto de; Pereira, Fernando Magno Quintao
8-Abr-2019
★★★★★ (0)
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
14-Fev-2022
★★★★★ (0)

Mostrando resultados 1 a 2 de 2