Inference of static semantics for incomplete C programs. - Leandro T. C. Melo; Rodrigo Geraldo Ribeiro; Marcus R. de Araújo; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2018)