The invention comprises a method and system for annotating a Java application file or ground Java application file to insert compiler hinting information such that a just-in-time compiler in a target environment preferentially compiles byte-code within the Java application file.

The reference relates to a method to examine byte code and select portions of the byte code. The selected portions may be portions of the byte code corresponding to method entry, method exit, a throw, a method call, or a new line number. The selected portions are then instrumented. Instrumentation may be performed by adding statements to software in order to monitor performance and operation of the software during run time.

The publication relates to annotations that may be used by C++ developers in their code.

The publication relates to Microsoft's standard source code annotation language (SAL).

The innovations comprised in this disclosure include the following: 1. Extensions to the standard Java byte code instruction set to enable efficient run-time isolation of pointer variables from non-pointer variables. The extended byte codes are described as the PERC instruction set. 2. A mechanism to translate traditional Java byte codes into the extended PERC byte codes at run-time, as new Java byte codes are loaded into the virtual machine's execution environment.

The invention relates to implementing a source code annotation language (SAL). SAL may be implemented by adding keywords to a function interface to define a contract for the function independent of function call context. Annotations may also be inserted at global variables, formal parameters, return values, or user-defined types.

The invention relates to a method to optimize computer programs using annotations.

The reference relates to a method to perform conditional thunking.