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

• Published in: ACM transactions on programming languages and systems Vol. 42; no. 3; pp. 1 - 71
• Main Authors: Melo, Leandro T. C., Ribeiro, Rodrigo G., Guimarães, Breno C. F., Pereira, Fernando Magno Quintão
• Format: Journal Article
• Language: English
• Published: New York, NY, USA ACM 01.12.2020
• Subjects: 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

Type inference is a feature that is common to a variety of programming languages. While, in the past, it has been prominently present in functional ones (e.g., ML and Haskell), today, many object-oriented/multi-paradigm languages such as C# and C++ offer, to a certain extent, such a feature. Neverth...