Collaborated with:
Leandro T. C. Melo Marcus R. de Araújo F.M.Q.Pereira
Talks about:
incomplet (1) program (1) static (1) semant (1) infer (1)
Person: Rodrigo Geraldo Ribeiro
DBLP: Ribeiro:Rodrigo_Geraldo
Contributed to:
Wrote 1 papers:
- POPL-2018-MeloRAP #c #semantics #source code
- Inference of static semantics for incomplete C programs (LTCM, RGR, MRdA, FMQP), p. 28.