Bytecode program interpreter apparatus and method with pre-verification of data type restrictions

Bytecode program interpreter apparatus and method with pre-verification of data type restrictions

A method, comprising: receiving from a source computer (104, 204) a program (221, 340) formed of low-level program code; verifying prior to execution that when an instruction of the program (221, 340) is executed that can be executed along more than one execution path, a data type requirement of tha...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: GOSLING, JAMES A
Format: Patent
Sprache:eng ; fre ; ger
Schlagworte:
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A method, comprising: receiving from a source computer (104, 204) a program (221, 340) formed of low-level program code; verifying prior to execution that when an instruction of the program (221, 340) is executed that can be executed along more than one execution path, a data type requirement of that instruction is satisfied and a number of operands on a stack is identical, regardless of the execution path taken to arrive at the instruction; and executing the verified program (221, 340).