1. A non-transitory computer accessible memory medium that stores program instructions executable by a processor to implement: storing a program, wherein the program comprises a plurality of program structures and one or more data objects, wherein each of the one or more data objects is shared by a respective at least two program structures of the plurality of program structures; for each program structure of the plurality of program structures, analyzing decomposition effects on each of the one or more data objects resulting from each of a respective one or more optimizing transforms applied to the program structure, wherein said analyzing comprises: applying, for at least one transform of the respective one or more optimizing transforms, a corresponding transform to a model of the program structure and the at least one data object, wherein said applying generates estimated decomposition effects of the at least one transform; and analyzing the estimated decomposition effects; determining, based on said analyzing the estimated decomposition effects, a plurality of groups of correlated structures of which two or more groups share a program structure, each group comprising: two or more program structures that share at least one data object; and at least one optimizing transform that is compatible with respect to the two or more program structures and the shared at least one data object; analyzing the two or more groups; determining, based on said analyzing the two or more groups, that a respective at least one optimizing transform of at least two of the two or more groups is compatible with all other groups of the two or more groups; analyzing each of the respective at least one optimizing transforms of the at least two of the two or more groups; selecting a first respective at least one optimizing transform based on said analyzing each of the respective at least one optimizing transforms; and transforming the respective two or more program structures and the at least one data object of each of the two or more groups to meet the specified optimization objective, using the first respective at least one optimizing transform.