Inferring operand types within an intermediate language

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 opc...

Full description

Saved in:
Bibliographic Details
Main Author MORRISON, VANCE P
Format Patent
LanguageEnglish
French
German
Published 25.01.2006
Subjects
Online AccessGet full text

Cover

Loading…
More Information
Summary: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, etc.
Bibliography:Application Number: EP20020027635