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.

Abstract: A multiplatform programming environment enables development of correct and reliable programs for heterogeneous computing environments. A set of features and/or functionality that is independent of a particular programmatic platform may be specified with one or more domain specifications, and multiplatform programs may be developed in accordance with the domain specification(s). Domain specification compliance tools may analyze source code, including source code containing statements of interpreted and/or weakly typed programming languages, in order to identify and report specification non-compliance. The source code may be translated into multiplatform code. Execution of the multiplatform code may be requested by a particular platform. Platform capabilities may be assessed and augmented as required to conform to a multiplatform standard, for example, corresponding to the domain specification, and the multiplatform code may be executed by the assessed platform.