Type Inference for C: Applications to the Static Analysis of Incomplete Programs

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]

Authors

Leandro T. C. Melo

This author has not been identified. Look up 'Leandro T. C. Melo' in Google

Rodrigo Geraldo Ribeiro

This author has not been identified. Look up 'Rodrigo Geraldo Ribeiro' in Google

Breno Campos Ferreira Guimarães

This author has not been identified. Look up 'Breno Campos Ferreira Guimarães' in Google

Fernando Magno Quintão Pereira

This author has not been identified. It may be one of the following persons: Look up 'Fernando Magno Quintão Pereira' in Google