Patent Document ID: 8656379
Application ID: 13245060

Base Claim:
1. A computer-implemented method, comprising: generating a plurality of object files from a plurality of source code portions, wherein at least one of the source code portions comprises at least one variable, and wherein the generating comprises: instantiating Fortran type descriptor definitions of the at least one variable in each of the object files; marking each type descriptor definition with a singleton attribute; and associating common type descriptor definitions across the object files with common COMDAT groups; performing a folding operation of the type descriptor definitions in common COMDAT groups across the plurality of object files to obtain a single copy of each type of type descriptor definition in an executable file, wherein each of the single copies resides at a particular address in memory; and comparing an address of a type descriptor definition of a first variable of the executable file to an address of a type descriptor definition of a second variable of the executable file to determine whether a dynamic type of the first variable is the same as the dynamic type of the second variable to determine how to execute the executable file.

---

Claim 2:
2. The computer-implemented method of claim 1 , further comprising: for each type of type descriptor definition, using the singleton attribute of the single copy to bind all references to the type to the single copy; and executing the executable file based at least in part on whether or not the dynamic type of the first variable is the same as the dynamic type of the second variable.