Technique for compiling and running high-level programs on heterogeneous computers

A method of executing one or more applications, comprising:

• determining which one or more platforms are available for program execution;
• at each designated point of the program code, determining a logical unit for execution from a plurality of logical units, and selecting one or more executable entities that are associated with the determined logical unit and that are compatible with said one or more platforms determined to be available, at least some of the logical units compiled into two or more executable entities, said two or more executable entities being different machine-specific compilations of the same logical unit;
• and
• distributing said selected one or more executable entities to said respective one or more platforms determined to be available,
• said two or more executable entities generated based on compiling the program code comprising said plurality of logical units,
• wherein said one or more executable entities include at least two keys, one key identifying the logical unit from which said one or more executables are compiled, and another key identifying a platform with which said one or more executable entities are compatible.