Profile-Driven Compilation

TYPESETTER is a programming system that utilizes profile data to select implementations of program abstractions and integrates the development, evaluation, and selection of alternative implementations of programming abstractions into a package that is transparent to the programmer.