Type Inference for C: Applications to the Static Analysis of Incomplete Programs - Melo, Leandro T. C.; Ribeiro, Rodrigo G.; Guimarães, Breno C. F.; Pereira, Fernando Magno Quintão (ACM transactions on programming languages and systems, 2020)
Keywords: Compilers; Constraints; Formal language definitions; General programming languages; Language features; Logic; Parsers; Parsing; Program analysis; Program constructs; Program reasoning; Semantics and reasoning; Software and its engineering; Software notations and tools; Source code generation; Syntax; Theory of computation; Type structures; Type theory; Partial programs; C language; parsing; type inference