A program interpreter for computer programs written in a bytecode language, which uses a restricted set of data type specific bytecodes. The interpreter, prior to executing any bytecode program, executes a bytecode program verifier procedure that verifies the integrity of a specified program by identifying any bytecode instruction that would process data of the wrong type for such a bytecode and any bytecode instruction sequences in the specified program that would cause underflow or overflow of the operand stack. If the program verifier finds any instructions that violate predefined stack usage and data type usage restrictions, execution of the program by the interpreter is prevented. After pre-processing of the program by the verifier, if no program faults were found, the interpreter executes the program without performing operand stack overflow and underflow checks and without performing data type checks on operands stored in operand stack. As a result, program execution speed is greatly improved.

Un interprète de programme pour des programmes machine écrits dans une langue de bytecode, qui emploie un ensemble restreint de type de données bytecodes de détail. L'interprète, avant d'exécuter n'importe quel programme de bytecode, exécute un procédé de vérificateur de programme de bytecode qui vérifie l'intégrité d'un programme indiqué en identifiant n'importe quelle instruction de bytecode qui traiterait des données du type inapproprié pour un tel bytecode et de tous les ordres d'instruction de bytecode dans le programme indiqué qui causerait le courant de fond ou le débordement de la pile d'opérande. Si le vérificateur de programme trouve n'importe quelles instructions qui violent l'utilisation et le type de données prédéfinis restrictions de pile d'utilisation, l'exécution du programme par l'interprète est empêchée. Après que le prétraitement du programme par le vérificateur, si aucun défaut de programme n'était trouvé, l'interprète s'exécute le programme sans exécuter des contrôles de débordement et de courant de fond de pile d'opérande et sans exécuter le type de données vérifie des opérandes stockés dans la pile d'opérande. En conséquence, la vitesse d'exécution du programme est considérablement améliorée.