Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira. Type Inference for C: Applications to the Static Analysis of Incomplete Programs. ACM Transactions on Programming Languages and Systems, 42(3), 2020. [doi]
Abstract is missing.