Incremental type inferencing engine

Abstract

Computer program source code may be parsed to generate corresponding type constraints. The type constraints may be incrementally resolved to achieve incremental type inferencing of various programmatic elements specified by the source code. In contrast to conventional type inference, incremental type inferencing may enable the inference of type information for programmatic elements specified by a programming language that was not designed for type inference. One or more type constraints may be incrementally added to a constraint set and the constraint set repeatedly unified. Unification anomalies may arise during this process. For example, type mismatches corresponding to potential flaws in the source code may be detected by the unification process. In response to some or all of these anomalies, one or more entries may be made in a type anomaly audit. A separate such audit may be provided with respect to each intended deployment platform.

Dependencies are inferred from the claim text.