STUB: Specifies realization: choosing, for every call in a program, which language implementation to use when several are available. Defines the search space, the cost model (including the cost of crossing between languages), how ties are broken, and the guarantees about the result. Explains how realization decides how the program is split into pools.