1. A method of optimizing a computer program, comprising: generating annotation information about said computer program; storing said annotation information with said computer program; and dynamically optimizing said computer program based on said annotation information while said computer program is being executed.