Melo, Leandro T. C.
1060  results:
Search for persons X
?
1

Type Inference for C : Applications to the Static Analys..:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; Guimarães, Breno C. F..
ACM Transactions on Programming Languages and Systems (TOPLAS).  42 (2020)  3 - p. 1-71 , 2020
 
?
2

Type Inference for C: Applications to the Static Analysis o..:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; Guimarães, Breno C. F..
ACM Transactions on Programming Languages and Systems.  42 (2020)  3 - p. 1-71 , 2020
 
?
3

Inference of static semantics for incomplete C programs:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; de Araújo, Marcus R..
Proceedings of the ACM on Programming Languages.  2 (2017)  POPL - p. 1-28 , 2017
 
?
4

Inference of static semantics for incomplete C programs:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; de Araújo, Marcus R..
Proceedings of the ACM on Programming Languages.  2 (2017)  POPL - p. 1-28 , 2017
 
?
10

The effect of body mass index on maternal and perinatal out..:

Sardinha, Thais G. ; Lajos, Giuliane J. ; Souza, Renato T....
International Journal of Gynecology & Obstetrics.  164 (2023)  3 - p. 1019-1027 , 2023
 
1-15