METHOD AND SYSTEM FOR DESCRIBING WHOLE-PROGRAM TYPE BASED ALIASING

摘要

A compilation system for whole-program type based aliasing, the system includes: a set of hardware and networking resources; a front-end, a whole-program optimization component; a backend; an algorithm implemented on the set of hardware and networking resources; wherein the algorithm configures the front-end to a specific programming language being compiled and processes one source file at a time; wherein the whole-program optimization component merges the aliasing information from multiple invocations of the front-end into a single aliasing representation of a whole program; and wherein the backend uses that information to optimize and generate executable code that is the output of the compilation system.