Shifting the burden of code optimization to the code producer

Most portable code systems have poor code quality because optimizations are time and resource consuming. Dynamically compiled code tends to be of lower quality than statically compiled code because one cannot keep a user waiting for long while performing time-consuming optimization steps. A new method is needed to enable mobile code systems to produce safe, optimized native code.; This research examines a method for using a portable code intermediate representation to encode and transmit the results of analyses such that the dynamically generated code quality increases without a significant increase in compilation time over unoptimized compilation. More importantly, the analyses are transported in such away that the safety semantics of the language are preserved and cannot be forged to violate memory and type safety.