Inferring operand types within an intermediate language is disclosed. In one embodiment, a computer-implemented method first inputs an intermediate language code that has a first plurality of opcodes, including a type-indefinite opcode. The method resolves the type-indefinite opcode into a typed opcode, and generates a native code that has a second plurality of opcodes corresponding to the first plurality of opcodes, and which includes an opcode corresponding to the typed opcode. The method finally outputs the native code. An example of an intermediate language is Java.

Das Schließen der Rechengröße Arten innerhalb einer Zwischensprache wird freigegeben. In einer Verkörperung gibt eine Computer-eingeführte Methode erste einen Zwischensprachencode, der eine erste Mehrzahl von opcodes hat, einschließlich ein Art-unbestimmtes opcode ein. Die Methode behebt das Art-unbestimmte opcode in ein geschriebenes opcode und erzeugt eine maschinenabhängige Sprache, die eine zweite Mehrzahl der opcodes hat, die der ersten Mehrzahl von opcodes entsprechen und die ein opcode einschließt, das dem geschriebenen opcode entspricht. Die Methode gibt schließlich die maschinenabhängige Sprache aus. Ein Beispiel einer Zwischensprache ist Java.